1932 search results - page 61 / 387 » Molecule-oriented programming in Java |
ECOOPW
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
FAC
2010
13 years 7 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
ICSM
1999
IEEE
14 years 2 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
COMPSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...
SPIN
2000
Springer
14 years 1 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...