25 search results - page 5 / 5 » Mechanical Verification of a Garbage Collector |
OOPSLA
2001
Springer
13 years 11 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
ENTCS
2008
13 years 7 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
ECRTS
2003
IEEE
14 years 4 days ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
IFIP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract Flow Accounting is a passive monitoring mechanism implemented in routers that gives insight into tra c behavior and network characteristics. However, processing of Flow Ac...
POPL
1999
ACM
13 years 11 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...