3516 search results - page 41 / 704 » Programming Languages: Application and Interpretation |
134
click to vote
ECOOP
2003
Springer
15 years 2 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
CP
2003
Springer
15 years 2 months ago
2003
Springer
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
92
Voted
PEPM
2004
ACM
15 years 3 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...