Category:Journal ACM Letters on Programming Languages and Systems

From BibNetWiki

Papers published in the Journal "ACM Letters on Programming Languages and Systems"

Articles in category "Journal ACM Letters on Programming Languages and Systems"

There are 43 articles in this category.

A Abstract Description of Pointer Data Structures: An Approach for Improving the Analysis and Optimization of Imperative Programs An Efficient Representation for Sparse Sets C CPS-Transformation After Strictness Analysis Coloring Register Pairs Compiling for Shared-Memory and Message-Passing Computers Cost-Effective Object Space Management for Hardware-Assisted Real-Time Garbage Collection D Definitions of Dependence Distance Distributed Last Call Optimization for Portable Parallel Logic Programming E Efficient Call Graph Analysis Engineering a Simple, Efficient Code-Generator Generator Engineering a simple, efficient code generator generator Explaining Type Errors in Polymorphic Languages Extending Context-Free Grammars with Permutation Phrases G Generalized Algorithmic Debugging and Testing

G cont. Generating Parallel Code for SIMD Machines I Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm Interprocedural Constant Propagation: An Empirical Study N No Assembly Required: Compiling Standard ML to C O On Reasoning with the Global Time Assumption On the Conversion of Indirect to Direct Recursion Optimization of Array Subscript Range Checks Optimizing Array Bound Checks Using Flow Analysis P Polymorphic Time Systems for Estimating Program Complexity Precise Executable Interprocedural Slices Precise and Efficient Groundness Analysis for Logic Programs Precise and Efficient Integration of Interprocedural Alias Information Into Data-Flow Analysis R RE2C: A More Versatile Scanner Generator Reducing the Latency of a Real-Time Garbage Collector References to Remote Mobile Objects in Thor

R cont. Referential Opacity in Nondeterministic Data Refinement S Semantics of Constraint Logic Programs with Optimization Shortest Path by Approximation in Logic Programs T The Design of Floating-Point Data Types The Detection of Dangling References in C Programs The Maintenance of Intermediate Values in Goal-Directed Evaluation The Transitive Closure of Control Dependence: The Iterated Join U Undecidability of Static Analysis Unexpected Side Effects of Inline Substitution: A Case Study Unified Compilation of Fortran 77D and 90D Unreachable Procedures in Object-Oriented Programming Using Static Single Assignment Form in a Code Optimizer W What Are Race Conditions?: Some Issues and Formalizations What's in a Region?: Or Computing Control Dependence Regions in Near-Linear Time for Reducible Control Flow