Mathematical Structures in Computer Science
Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
On Reversible Combinatory Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Long-run cost analysis by approximation of linear operators over dioids
Mathematical Structures in Computer Science
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
Electronic Notes in Theoretical Computer Science (ENTCS)
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic coherence spaces as a model of higher-order probabilistic computation
Information and Computation
Probabilistically accurate program transformations
SAS'11 Proceedings of the 18th international conference on Static analysis
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constructive development of probabilistic programs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Probabilistic abstract interpretation
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Probabilistic coherence spaces are fully abstract for probabilistic PCF
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation
Journal of Computer Security
Hi-index | 0.00 |
We show how the framework of probabilistic abstract interpretation can be applied to statically analyse a probabilistic version of the λ-calculus. The resulting analysis allows for a more speculative use of its outcomes based on the consideration of statistically defined quantities. After introducing a linear operator based semantics for our probabilistic λ-calculus Λp, and reviewing the framework of abstract interpretation and strictness analysis, we demonstrate our technique by constructing a probabilistic (first-order) strictness analysis for Λp.