506 search results - page 24 / 102 » Where Is the Value in a Program Verifier |
139
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
129
click to vote
EUROGP
2000
Springer
15 years 7 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...
265
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
123
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
140
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Based in part on observations about the incremental nature of most state changes in biological systems, we introduce the idea of Memory with Memory in Genetic Programming (GP), wh...