Category:Journal ACM Letters on Programming Languages and Systems
From BibNetWiki
Jump to:
navigation
,
search
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
Category
:
Journal
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related