3056 search results - page 415 / 612 » Compiling Embedded Languages |
295
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
179
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
160
Voted
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
207
click to vote
FPCA
1995
15 years 10 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
196
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...