1264 search results - page 2 / 253 » Abstract machines for programming language implementation |
89
Voted
CEFP
2007
Springer
15 years 7 months ago
2007
Springer
96
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
SAC
2009
ACM
15 years 8 months ago
2009
ACM
We present the implementation of several programming languages with support for multi-dimensional separation of concerns (MDSOC) on top of a common delegation-based substrate, whi...
169
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM