A Very Short Self-Interpreter
A visual programming language for drawing and executing flowcharts
A Web-based Tool Combining Different Type Analyses
A Well-typed Lightweight Situation Calculus
About raising and handling exceptions
Abstract Diagnosis for Timed Concurrent Constraint programs
Abstract Fixpoint Computations with Numerical Acceleration Methods
Abstracting Abstract Machines
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
Abstracting Runtime Heaps for Program Understanding
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture
Acceptability with general orderings
Accurate Programming: Thinking about programs in terms of properties
ACD Term Rewriting
Actor Continuation Passing: Efficient and Extensible Request Routing for Event-Driven Architectures
Actor Garbage Collection in Distributed Systems using Graph Transformation
Actor Model of Computation: Scalable Robust Information Systems
Actor Programming Languages (withdrawn)
AD in Fortran, Part 1: Design
AD in Fortran, Part 2: Implementation via Prepreprocessor