196 search results - page 31 / 40 » Extended Static Checking for Java |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
IWPC
2002
IEEE
14 years 11 days ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
TOPLAS
2008
13 years 5 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...