Computing Publications

Publications Home » Lambda-calculus and quantitative ...

Lambda-calculus and quantitative program analysis

Chris Hankin, Herbert Wiklicky

Conference or Workshop Paper
2nd Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)
January, 2005
Electronic Notes in Theoretical Computer Science
Volume 112
pp.5–18
Elsevier
ISSN 1571-0661
DOI 10.1016/j.entcs.2004.01.016
Abstract

n this paper we show how the framework of probabilistic abstract interpretation can be applied to statically analyse a probabilistic lambda-calculus. We start by reviewing the classical framework of abstract interpretation. We choose to use (first-order) strictness analysis as our running example. We present the definition of probabilistic abstract interpretation and use it to construct a probabilistic strictness analysis.

BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.