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
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
Last update Tue May 21 16:17:42 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page