1264 search results - page 2 / 253 » Abstract machines for programming language implementation |
CEFP
2007
Springer
15 years 3 months ago
2007
Springer
69
Voted
ESOP
2000
Springer
15 years 1 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) ...
66
Voted
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
SAC
2009
ACM
15 years 4 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...
141
Voted
POPL
2007
ACM
15 years 9 months ago
2007
ACM