2236 search results - page 369 / 448 » Language Independence and Language Tolerance in Logic Progra... |
151
click to vote
FORTE
2009
15 years 1 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
180
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
182
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
132
Voted
PEPM
2010
ACM
16 years 25 days ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
149
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...