441 search results - page 61 / 89 » Interpreting Java program runtimes |
161
Voted
DSN
2011
IEEE
14 years 2 months ago
2011
IEEE
—We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. D...
141
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Chez Scheme is now over 20 years old, the first version having been released in 1985. This paper takes a brief look back on the history of Chez Scheme's development to explor...
138
click to vote
AGP
1996
IEEE
15 years 6 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
125
Voted
PPDP
2010
Springer
15 years 9 days ago
2010
Springer
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...