Probabilistic -calculus and Quantitative Program Analysis

DOI10.1093/logcom/exi008zbMath1070.03008OpenAlexW2121382061MaRDI QIDQ3025332

Herbert Wiklicky, Chris Hankin, Alessandra Di Pierro

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

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

Related Items (15)

Unnamed Item ⋮ Probabilistic operational semantics for the lambda calculus ⋮ Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ A Type Theory for Probabilistic $$\lambda $$–calculus ⋮ The vectorial \(\lambda\)-calculus ⋮ Long-run cost analysis by approximation of linear operators over dioids ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits ⋮ Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic ⋮ Confluence Results for a Quantum Lambda Calculus with Measurements ⋮ Confluence in probabilistic rewriting ⋮ Probabilistic π-Calculus and Event Structures

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