60. Birthday: Neil D. Jones, 2002

@proceedings{DBLP:conf/birthday/2002jones,
  editor    = {Torben {\AE}. Mogensen and
               David A. Schmidt and
               Ivan Hal Sudborough},
  title     = {The Essence of Computation, Complexity, Analysis, Transformation.
               Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
  booktitle = {The Essence of Computation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2566},
  year      = {2002},
  isbn      = {3-540-00326-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Computational Complexity

• Amir M. Ben-Amram:
  General Size-Change Termination and Lexicographic Descent. 3-17
  Electronic Edition (Springer LINK) BibTeX
• Linda Morales, Ivan Hal Sudborough:
  Comparing Star and Pancake Networks. 18-36
  Electronic Edition (Springer LINK) BibTeX
• Arto Salomaa:
  Synchronization of Finite Automata: Contributions to an Old Problem. 37-59
  Electronic Edition (Springer LINK) BibTeX
• David Sands, Jörgen Gustavsson, Andrew Moran:
  Lambda Calculi and Linear Speedups. 60-84
  Electronic Edition (Springer LINK) BibTeX

Program Analysis

• 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. 85-108
  Electronic Edition (Springer LINK) BibTeX
• Michael Codish, Harald Søndergaard:
  Meta-circular Abstract Interpretation in Prolog. 109-134
  Electronic Edition (Springer LINK) BibTeX
• Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath:
  Flow Analysis: Games and Nets. 135-156
  Electronic Edition (Springer LINK) BibTeX
• John Hannan:
  On Extracting Static Semantics. 157-171
  Electronic Edition (Springer LINK) BibTeX
• John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby:
  Foundations of the Bandera Abstraction Tools. 172-203
  Electronic Edition (Springer LINK) BibTeX
• Thomas P. Jensen:
  Types in Program Analysis. 204-222
  Electronic Edition (Springer LINK) BibTeX
• Hanne Riis Nielson, Flemming Nielson:
  Flow Logic: A Multi-paradigmatic Approach to Static Analysis. 223-244
  Electronic Edition (Springer LINK) BibTeX
• David A. Schmidt:
  Structure-Preserving Binary Relations for Program Abstraction. 245-268
  Electronic Edition (Springer LINK) BibTeX

Program Transformation

• Sergei M. Abramov, Robert Glück:
  Principles of Inverse Computation and the Universal Resolving Algorithm. 269-295
  Electronic Edition (Springer LINK) BibTeX
• Mads Sig Ager, Olivier Danvy, Mayer Goldberg:
  A Symmetric Approach to Compilation and Decompilation. 296-331
  Electronic Edition (Springer LINK) BibTeX
• Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær:
  The Abstraction and Instantiation of String-Matching Programs. 332-357
  Electronic Edition (Springer LINK) BibTeX
• Yoshihiko Futamura, Zenjiro Konishi, Robert Glück:
  WSDFU: Program Transformation System Based on Generalized Partial Computation. 358-378
  Electronic Edition (Springer LINK) BibTeX
• Michael Leuschel:
  Homeomorphic Embedding for Online Termination of Symbolic Methods. 379-403
  Electronic Edition (Springer LINK) BibTeX
• Mads Rosendahl:
  Simple Driving Techniques. 404-419
  Electronic Edition (Springer LINK) BibTeX
• Peter Sestoft:
  Demonstrating Lambda Calculus Reduction. 420-435
  Electronic Edition (Springer LINK) BibTeX
• Morten Heine Sørensen, Jens P. Secher:
  From Type Inference to Configuration. 436-472
  Electronic Edition (Springer LINK) BibTeX