441 search results - page 21 / 89 » Interpreting Java program runtimes |
SEFM
2008
IEEE
14 years 2 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
ECOOP
1999
Springer
14 years 21 days ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
COOTS
1997
13 years 9 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
In this paper, the S-expression Interpreter Framework (SIF) is presented as a tool for teaching language design and implementation. The SIF is based on the interpreter design patt...
ENTCS
2006
13 years 8 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...