ESOP
2016
Springer
8 years 7 months ago
2016
Springer
This paper presents a shallow embedding of a probabilistic functional programming language in higher order logic. The language features monadic sequencing, recursion, random sampli...
ESOP
2016
Springer
8 years 7 months ago
2016
Springer
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...
ESOP
2016
Springer
8 years 7 months ago
2016
Springer
Typed Clojure is an optional type system for Clojure, a dynamic language in the Lisp family that targets the JVM. Typed Clojure’s type system build on the design of Typed Racket...
ESOP
2016
Springer
8 years 7 months ago
2016
Springer
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...
ESOP
2016
Springer
8 years 7 months ago
2016
Springer
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...
SFP
2014
9 years 6 months ago
2014
Methods for mathematically basic and precise description of system behavior at discrete interfaces have been developed by David Parnas and his groups and collaborators over many ye...
PLPV
2014
ACM
9 years 6 months ago
2014
ACM
ICALP
2013
Springer
10 years 7 months ago
2013
Springer
Abstract. We consider the EXACT-WEIGHT-H problem of finding a (not necessarily induced) subgraph H of weight 0 in an edge-weighted graph G. We show that for every H, the complexit...
HASKELL
2013
ACM
10 years 7 months ago
2013
ACM
This paper argues for a new methodology for writing high performance Haskell programs by using Embedded Domain Specific Languages. We exemplify the methodology by describing a co...
ECOOP
2013
Springer
10 years 7 months ago
2013
Springer
Inefficient use of Java containers is an important source of run-time inefficiencies in large applications. This paper presents an application-level dynamic optimization techniqu...