60 search results - page 8 / 12 » State extensions for java pathfinder |
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
EGC
2005
Springer
14 years 2 months ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
SIGSOFT
2000
ACM
14 years 27 days ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...