Early Experience with ASDL in lcc

ECLiPSe - from LP to CLP

Effectiveness of Garbage Collection in MIT/GNU Scheme

Effects for Funargs

Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

Efficient Compression of Prolog Programs

Efficient Deterministic Replay Using Complete Race Detection

Efficient Groundness Analysis in Prolog

Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs

Efficient Local Unfolding with Ancestor Stacks

Efficient Loop Navigation for Symbolic Execution

Elementary affine $lambda$-calculus with multithreading and side effects

Elementary transformation analysis for Array-OL

Encapsulation and Dynamic Modularity in the Pi-Calculus

Enforcing Secure Object Initialization in Java

Enhanced sharing analysis techniques: a comprehensive evaluation

Ensuring Query Compatibility with Evolving XML Schemas

Ensuring Spreadsheet Integrity with Model Master

Equality Saturation: A New Approach to Optimization

Equality, Quasi-Implicit Products, and Large Eliminations