334 search results - page 8 / 67 » MDL: A Language and Compiler for Dynamic Program Instrumenta... |
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
78
Voted
CGO
2010
IEEE
15 years 7 months ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
111
Voted
RV
2010
Springer
14 years 10 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
107
Voted
ICFP
2008
ACM
16 years 8 days ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
148
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...