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 BibTeX
@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
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
Copyright © Sat May 16 22:59:39 2009
by Michael Ley (ley@uni-trier.de)