Abstract is missing.
- General Size-Change Termination and Lexicographic DescentAmir M. Ben-Amram. 3-17 [doi]
- Comparing Star and Pancake NetworksLinda Morales, Ivan Hal Sudborough. 18-36 [doi]
- Synchronization of Finite Automata: Contributions to an Old ProblemArto Salomaa. 37-59 [doi]
- Lambda Calculi and Linear SpeedupsDavid Sands, Jörgen Gustavsson, Andrew Moran. 60-84 [doi]
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded SoftwareBruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival. 85-108 [doi]
- Meta-circular Abstract Interpretation in PrologMichael Codish, Harald Søndergaard. 109-134 [doi]
- Flow Analysis: Games and NetsChris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath. 135-156 [doi]
- On Extracting Static SemanticsJohn Hannan. 157-171 [doi]
- Foundations of the Bandera Abstraction ToolsJohn Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby. 172-203 [doi]
- Types in Program AnalysisThomas P. Jensen. 204-222 [doi]
- Flow Logic: A Multi-paradigmatic Approach to Static AnalysisHanne Riis Nielson, Flemming Nielson. 223-244 [doi]
- Structure-Preserving Binary Relations for Program AbstractionDavid A. Schmidt. 245-268 [doi]
- Principles of Inverse Computation and the Universal Resolving AlgorithmSergei M. Abramov, Robert Glück. 269-295 [doi]
- A Symmetric Approach to Compilation and DecompilationMads Sig Ager, Olivier Danvy, Mayer Goldberg. 296-331 [doi]
- The Abstraction and Instantiation of String-Matching ProgramsTorben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær. 332-357 [doi]
- WSDFU: Program Transformation System Based on Generalized Partial ComputationYoshihiko Futamura, Zenjiro Konishi, Robert Glück. 358-378 [doi]
- Homeomorphic Embedding for Online Termination of Symbolic MethodsMichael Leuschel. 379-403 [doi]
- Simple Driving TechniquesMads Rosendahl. 404-419 [doi]
- Demonstrating Lambda Calculus ReductionPeter Sestoft. 420-435 [doi]
- From Type Inference to ConfigurationMorten Heine Sørensen, Jens P. Secher. 436-472 [doi]