206
click to vote
ESOP
2016
Springer
10 years 1 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...
125
click to vote
ESOP
2016
Springer
10 years 1 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...
144
click to vote
ESE
2016
10 years 1 months 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...
137
click to vote
ESE
2016
10 years 1 months 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...