The Essence of Computation

Keyphrases

Publications

2002

Mads Rosendahl
Simple Driving Techniques. The Essence of Computation (2002)
Sergei M. Abramov, Robert Glück
Principles of Inverse Computation and the Universal Resolving Algorithm. The Essence of Computation (2002)
Hanne Riis Nielson, Flemming Nielson
Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation (2002)
Arto Salomaa
Synchronization of Finite Automata: Contributions to an Old Problem. The Essence of Computation (2002)
Mads Sig Ager, Olivier Danvy, Mayer Goldberg
A Symmetric Approach to Compilation and Decompilation. The Essence of Computation (2002)
Michael Leuschel
Homeomorphic Embedding for Online Termination of Symbolic Methods. The Essence of Computation (2002)
Amir M. Ben-Amram
General Size-Change Termination and Lexicographic Descent. The Essence of Computation (2002)
Michael Codish, Harald Søndergaard
Meta-circular Abstract Interpretation in Prolog. The Essence of Computation (2002)
Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
WSDFU: Program Transformation System Based on Generalized Partial Computation. The Essence of Computation (2002)
David Sands, Jörgen Gustavsson, Andrew Moran
Lambda Calculi and Linear Speedups. The Essence of Computation (2002)
Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
Flow Analysis: Games and Nets. The Essence of Computation (2002)
Morten Heine Sørensen, Jens P. Secher
From Type Inference to Configuration. The Essence of Computation (2002)
Thomas P. Jensen
Types in Program Analysis. The Essence of Computation (2002)
Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation (2002)
Linda Morales, Ivan Hal Sudborough
Comparing Star and Pancake Networks. The Essence of Computation (2002)
John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby
Foundations of the Bandera Abstraction Tools. The Essence of Computation (2002)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation (2002)
John Hannan
On Extracting Static Semantics. The Essence of Computation (2002)
David A. Schmidt
Structure-Preserving Binary Relations for Program Abstraction. The Essence of Computation (2002)
Peter Sestoft
Demonstrating Lambda Calculus Reduction. The Essence of Computation (2002)

volume 2566, 2002

The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday] The Essence of Computation 2566 (2002)