3456 search results - page 591 / 692 » Byte Code Engineering |
140
Voted
LCPC
2007
Springer
15 years 8 months 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...
125
Voted
LCTRTS
2007
Springer
15 years 8 months 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...
99
Voted
MODELS
2007
Springer
15 years 8 months 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...
131
Voted
PPDP
2007
Springer
15 years 8 months 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...
127
click to vote
SMALLTALK
2007
Springer
15 years 8 months 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...