5415 search results - page 159 / 1083 » The Implementation of Functional Programming Languages |
219
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
107
click to vote
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
XML transformations are most naturally defined as recursive functions on trees. Their direct implementation, however, causes inefficient memory usage because the input XML tree is...
103
click to vote
PTS
2008
15 years 2 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
86
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
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) ...