Probabilistic Termination by Monadic Affine Sized Typing
From MaRDI portal
Publication:2988649
DOI10.1007/978-3-662-54434-1_15zbMath1485.68045arXiv1701.04089OpenAlexW2596582120MaRDI QIDQ2988649
Charles Grellois, Ugo Dal Lago
Publication date: 19 May 2017
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1701.04089
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
The geometry of Bayesian programming ⋮ Unnamed Item ⋮ Probabilistic Termination by Monadic Affine Sized Typing ⋮ On the hardness of analyzing probabilistic programs ⋮ Automated termination analysis of polynomial probabilistic programs ⋮ Probabilistic Analysis of Binary Sessions ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Realizability models and implicit complexity
- Dependent types for program termination verification
- A higher-order characterization of probabilistic polynomial time
- Probabilistic Termination
- Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
- Probabilistic operational semantics for the lambda calculus
- On Equivalences, Metrics, and Polynomial Time
- Probabilistic Termination by Monadic Affine Sized Typing
- A Short Introduction to Implicit Computational Complexity
- Type-Based Termination with Sized Products
- Type-based termination of recursive definitions
- Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
- Termination checking with types
- Linear Dependent Types and Relative Completeness
- A Tutorial on Type-Based Termination
- Computer-Aided Security Proofs for the Working Cryptographer
- Formal certification of code-based cryptographic proofs
- Term Rewriting and Applications
This page was built for publication: Probabilistic Termination by Monadic Affine Sized Typing
