Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleOctober 2015
Compiling for multi-language task migration
DLS 2015: Proceedings of the 11th Symposium on Dynamic LanguagesPages 63–77https://doi.org/10.1145/2816707.2816713Task migration allows a running program to continue its execution in a different destination environment. Increasingly, execution environments are defined by combinations of cultural and technological constraints, affecting the choice of host language, ...
Also Published in:
ACM SIGPLAN Notices: Volume 51 Issue 2 - research-articleAugust 2009
Direct implementation of shift and reset in the MinCaml compiler
ML '09: Proceedings of the 2009 ACM SIGPLAN workshop on MLPages 49–60https://doi.org/10.1145/1596627.1596636Although delimited control operators are becoming one of the useful tools to manipulate flow of programs, their direct and compiled implementation in a low-level language has not been proposed so far. The only direct and low-level implementations ...
- articleJuly 1999
The Tail-Recursive SECD Machine
Journal of Automated Reasoning (JAUR), Volume 23, Issue 1Pages 43–62https://doi.org/10.1023/A:1006151910336One method for producing verified implementations of programming languages is to formally derive them from abstract machines. Tail-recursive abstract machines provide efficient support for iterative processes via the ordinary procedure call mechanism. ...