Sciweavers

Share
8 search results - page 1 / 2
» esop 2016
Sort
View
ESOP
2016
Springer
4 years 3 months ago
A Classical Realizability Model for a Semantical Value Restriction
We present a new type system with support for proofs of programs in a call-by-value language with control operators. The proof mechanism relies on observational equivalence of (unt...
Rodolphe Lepigre
ESOP
2016
Springer
4 years 3 months ago
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
This paper presents a shallow embedding of a probabilistic functional programming language in higher order logic. The language features monadic sequencing, recursion, random sampli...
Andreas Lochbihler
ESOP
2016
Springer
4 years 3 months ago
Probabilistic NetKAT
This paper develops a new language for programming softwaredefined networks based on a probabilistic semantics. We extend the NetKAT language with new primitives for expressing p...
Nate Foster, Dexter Kozen, Konstantinos Mamouras, ...
ESOP
2016
Springer
4 years 3 months ago
Computing with Semirings and Weak Rig Groupoids
Abstract. The original formulation of the Curry–Howard correspondence relates propositional logic to the simply-typed λ-calculus at three levels: the syntax of propositions corr...
Jacques Carette, Amr Sabry
ESOP
2016
Springer
4 years 3 months ago
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs
Abstract. This paper addresses the problem of proving a given invariance property ϕ of a loop in a numeric program, by inferring automatically a stronger inductive invariant ψ. T...
Antoine Miné, Jason Breck, Thomas W. Reps
books