144 search results - page 19 / 29 » It Is Time to Mechanize Programming Language Metatheory |
100
click to vote
ASPLOS
1994
ACM
15 years 4 months ago
1994
ACM
Several researchers have proposed algorithms for basic block reordering. We call these branch alignment algorithms. The primary emphasis of these algorithms has been on improving ...
200
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
158
Voted
OOPSLA
1995
Springer
15 years 4 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
129
click to vote
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...