3056 search results - page 42 / 612 » Compiling Embedded Languages |
RV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
FAC
2010
13 years 6 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
PLDI
1996
ACM
14 years 6 days ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
PLDI
2000
ACM
14 years 12 days ago
2000
ACM
PLDI
1993
ACM
14 years 4 days ago
1993
ACM