APLAS 2003
27 papers
- A Differential Fixpoint Evaluation Framework for Non-distributive Systems
- A Program Inverter for a Functional Language with Equality and Constructors
- A Typeful and Tagless Representation for XML Documents
- Affine-Based Size-Change Termination
- Automatic Construction of Hoare Proofs from Abstract Interpretation Results
- Constraint Functional Logic Programming for Origami Construction
- Continutation Semantics for Parallel Haskell Dialects
- Controlling and Optimizing the Usage of One Resource
- Correctness of a Higher-Order Removal Transformation through a Relational Reasoning
- Dataflow Pointcut in Aspect-Oriented Programming
- Executing Verified Compiler Specification
- Expressive Synchronization Types for Inheritance in the Join Calculus
- Extensional Polymorphism by Flow Graph Dispatching
- Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations
- Model Checking: From Hardware to Software
- Observing Asymmetry and Mismatch
- On a Method of Global Optimization
- Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion
- Register Allocation Based on a Reference Flow Analysis
- Resource Usage Verification
- Scrap Your Boilerplate
- Term Graph Rewriting for the pi-Calculus
- The Semantic Layers of Timber
- Translating a Continuous-Time Temporal Logic into Timed Automata
- Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
- Useless Code Elimination and Programm Slicing for the Pi-Calculus
- Using Locality of Flow in Dataflow Analyses