121 search results - page 9 / 25 » Java for Real-time Object-oriented Programming |
IWPC
2000
IEEE
15 years 1 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
CC
2005
Springer
15 years 3 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
ENTCS
2008
14 years 9 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
LISP
2008
14 years 9 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
75
Voted
ISORC
2002
IEEE
15 years 2 months ago
2002
IEEE
The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the T...