Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough (Eds.):
The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday].
Lecture Notes in Computer Science 2566 Springer 2002, ISBN 3-540-00326-6 
@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
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
- Michael Codish, Harald Søndergaard:
Meta-circular Abstract Interpretation in Prolog.
109-134
- Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath:
Flow Analysis: Games and Nets.
135-156
- John Hannan:
On Extracting Static Semantics.
157-171
- John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby:
Foundations of the Bandera Abstraction Tools.
172-203
- Thomas P. Jensen:
Types in Program Analysis.
204-222
- Hanne Riis Nielson, Flemming Nielson:
Flow Logic: A Multi-paradigmatic Approach to Static Analysis.
223-244
- David A. Schmidt:
Structure-Preserving Binary Relations for Program Abstraction.
245-268
Program Transformation
Copyright © Mon Nov 2 20:22:08 2009
by Michael Ley (ley@uni-trier.de)
