1210 search results - page 75 / 242 » Formal Techniques for Java Programs |
149
click to vote
ICOODB
2009
15 years 6 days ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
119
Voted
TSE
2008
15 years 2 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
110
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
117
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
136
click to vote
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...