Author:
Ager Mads Sig,Danvy Olivier,Midtgaard Jan
Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. Access control based on execution history;Abadı`,2003
2. M.S. Ager, D. Biernacki, O. Danvy, J. Midtgaard, From interpreter to compiler and virtual machine: a functional derivation, Technical Report BRICS RS-03-14, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, March 2003.
3. A functional correspondence between evaluators and abstract machines;Ager,2003
4. A functional correspondence between call-by-need evaluators and lazy abstract machines;Ager;Inform. Process. Lett.,2004
5. M.S. Ager, O. Danvy, J. Midtgaard, A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (extended version), Technical Report BRICS RS-04-28, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2004.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献