Вы здесь

Главная

ACM Trans. on Programming Languages and Systems

Связанные издания:

A Global Communication Optimization Technique Based on Data-Flow Analysis and Linear Algebra
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs
A New, Simpler Linear-Time Dominators Algorithm
A Partially Deadlock-Free Typed Process Calculus
A Practical and Flexible Flow Analysis for Higher-Order Languages
A Probably Time-Efficient Parallel Implementation of Full Speculation
A Region Inference Algorithm
A Study of the Applicability of Existing Exception-Handling Techniques to Component-Based Real-Time Software Technology
A Systematic Study of Functional Language Implementation
A Task- and Data-Parallel Programming Language Based on Shared Objects
A Type System for Object Initialization in the Java Bytecode Language
Automatic Data Layout for Distributed-Memory Machines
Cache Miss Equations: A Compiler Framework for Analyzing and Tuning Memory Behavior
C and tcc: A Language and Compiler for Dynamic Code Generation
Compile-Time Memory Reuse in Logic Programming Languages through Update in Place
Constraint-Based Array Dependence Analysis
Constraint-Based Termination Analysis of Logic Programs
Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs
Cost-Optimal Code Motion
Dependency Analysis for Standard ML
Dynamic Currency Determination in Optimized Programs
Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming
Efficient Logic Variables for Distributed Computing
Equality-Based Flow Analysis versus Recursive Types
Fast Algorithms for Compressed Multimethod Dispatch Table Generation
Finitary Fairness
Hierarchical Modularity
Identifying Loops in Almost Linear Time
Inteprocedural Pointer Alias Analysis
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications
Linearity and the Pi-Calculus
Linear Scan Register Allocation
"Maximal-Munch" Tokenization in Linear Time
Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations, and Experimental Results
Optimizing Compilation of CLP(R)
Partial Evaluation of Functional Logic Programs
Partial Redundancy Elimination in SSA Form
Polymorphic Splitting: An Effective Polyvariant Flow Analysis
Procedure Placement Using Temporal-Ordering Information
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
Reasoning about Grover s Quantum Search Algorithm Using Probabilistic wp
Sharing and Groundness Dependencies in Logic Programs
Solving Shape-Analysis Problems in Languages with Destructive Updating
Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations
Specificational Functions
Specification and Dialogue Control of Visual Ineraction through Visual Rewriting Systems
Static Caching for Incremental Computation
Static Correlated Branch Prediction
Synthesis of Concurrent Systems with Many Similar Processes