-calculus and quantitative program analysis (extended abstract)

MaRDI QIDQ2849843zbMATH OpenFDO

Authors Chris Hankin, Herbert Wiklicky

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104052399

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Probabilistic  -calculus and Quantitative Program Analysis
• A probabilistic semantics for the pure \(\lambda\)-calculus
• Probabilistic abstract interpretation
• scientific article; zbMATH DE number 1617330
• A deterministic rewrite system for the probabilistic \(\lambda\)-calculus

Cited in

(6)

• A probabilistic semantics for the pure \(\lambda\)-calculus
• Static extensivity analysis for \(\lambda\)-definable functions over lattices
• Probabilistic abstract interpretation
• Probabilistic  -calculus and Quantitative Program Analysis
• scientific article; zbMATH DE number 2086512 (Why is no real title available?)
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: \(\lambda\)-calculus and quantitative program analysis (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849843)