3456 search results - page 591 / 692 » Byte Code Engineering |
183
click to vote
LCPC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
172
click to vote
LCTRTS
2007
Springer
16 years 13 days ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
145
click to vote
MODELS
2007
Springer
16 years 13 days ago
2007
Springer
Model-driven engineering is a powerful approach to build large-scale applications. However, an application’s metamodel often remains static after the initial development phase an...
176
click to vote
PPDP
2007
Springer
16 years 12 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
168
click to vote
SMALLTALK
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...