Probabilistic -calculus and Quantitative Program Analysis

DOI10.1093/LOGCOM/EXI008MaRDI QIDQ3025332zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Publication date 13 July 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi008

zbMATH Keywords

program analysisLambda calculusprobabilistic abstract interpretation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• -calculus and quantitative program analysis (extended abstract)
• A probabilistic semantics for the pure \(\lambda\)-calculus
• Probabilistic operational semantics for the lambda calculus
• scientific article; zbMATH DE number 1617330
• On probabilistic techniques for data flow analysis

Cited in

(30)

• scientific article; zbMATH DE number 2086512 (Why is no real title available?)
• A Type Theory for Probabilistic \lambda –calculus
• Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
• Confluence results for a quantum lambda calculus with measurements
• Long-run cost analysis by approximation of linear operators over dioids
• Approximate Counting in SMT and Value Estimation for Probabilistic Programs
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Probabilistic -calculus and event structures
• Stochastic lambda calculus and monads of probability distributions
• scientific article; zbMATH DE number 7566061 (Why is no real title available?)
• A lambda-calculus foundation for universal probabilistic programming
• Refinement algebra for probabilistic programs
• Solvability in a probabilistic setting (invited talk)
• Confluence in probabilistic rewriting
• Scalar System F for linear-algebraic -calculus: towards a quantum physical logic
• A probabilistic semantics for the pure \(\lambda\)-calculus
• -calculus and quantitative program analysis (extended abstract)
• Probabilistic operational semantics for the lambda calculus
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• scientific article; zbMATH DE number 7559285 (Why is no real title available?)
• Lambda calculus and probabilistic computation
• A logic of knowledge and justifications, with an application to computational trust
• A rewriting theory for quantum -calculus
• Boolean-valued semantics for the stochastic \(\lambda \)-calculus
• A deterministic rewrite system for the probabilistic \(\lambda\)-calculus
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• Probabilistic reasoning about simply typed lambda terms
• Decomposing probabilistic lambda calculi
• Measurements and confluence in quantum lambda calculi with explicit qubits
• The vectorial \(\lambda\)-calculus

This page was built for publication: Probabilistic  -calculus and Quantitative Program Analysis

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