Probabilistic Termination by Monadic Affine Sized Typing

DOI10.1007/978-3-662-54434-1_15zbMath1485.68045arXiv1701.04089MaRDI QIDQ2988649

Ugo Dal Lago, Charles Grellois

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

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Church
• EasyCrypt