1264 search results - page 4 / 253 » Abstract machines for programming language implementation |
177
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
154
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
167
click to vote
PTS
2008
15 years 7 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...
ICLP
2007
Springer
16 years 14 days ago
2007
Springer
