487 search results - page 14 / 98 » Code Composition as an Implementation Language for Compilers |
121
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
144
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
131
click to vote
CC
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
169
click to vote
ECOOP
1991
Springer
15 years 5 months ago
1991
Springer
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
122
Voted
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...