334 search results - page 27 / 67 » MDL: A Language and Compiler for Dynamic Program Instrumenta... |
90
Voted
ICFP
2006
ACM
16 years 12 days ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
109
click to vote
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
99
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
131
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
93
Voted
REFLECTION
1999
Springer
15 years 4 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...