162 search results - page 31 / 33 » Type-preserving garbage collectors |
OOPSLA
2001
Springer
14 years 26 days 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...
ICFP
1999
ACM
14 years 23 days ago
1999
ACM
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...
IFIP
2010
Springer
14 years 13 days 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...
APLAS
2010
ACM
13 years 6 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...