144
Voted
ESOP
2016
Springer
10 years 3 days ago
2016
Springer
Most programs interact with the world: via graphical user interfaces, networks, etc. This form of interactivity entails concurrency, and concurrent program components must coordina...
130
click to vote
ESOP
2016
Springer
10 years 3 days 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...
255
Voted
ESOP
2016
Springer
10 years 3 days 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...
169
click to vote
ESOP
2016
Springer
10 years 3 days 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...
199
click to vote
ESOP
2016
Springer
10 years 3 days 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...
117
Voted
ESOP
2016
Springer
10 years 3 days 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...
135
Voted
ESE
2016
10 years 3 days ago
2016
To address the issue of malware detection through large sets of applications, researchers have recently started to investigate the capabilities of machine-learning techniques for p...
121
click to vote
ESE
2016
10 years 3 days ago
2016
Source code documentation often contains summaries of source code written by authors. Recently, automatic source code summarization tools have emerged that generate summaries witho...