1210 search results - page 38 / 242 » Formal Techniques for Java Programs |
104
click to vote
ICSM
1999
IEEE
15 years 6 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 ...
117
click to vote
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
108
click to vote
IWPSE
2005
IEEE
15 years 7 months ago
2005
IEEE
A software system is continuously changed so many times. When we try to change a software, we must understand how the software is implemented, especially about the functions to be...
125
click to vote
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
105
click to vote
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....