Author:
Feigin Boris,Mycroft Alan
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Benton, N.: Simple relational correctness proofs for static analyses and program transformations. In: Proceedings of POPL, pp. 14–25 (2004)
2. Berndl, M., Vitale, B., Zaleski, M., Brown, A.D.: Context threading: A flexible and efficient dispatch technique for virtual machine interpreters. In: Proceedings of CGO, pp. 15–26 (2005)
3. Cantrill, B., Shapiro, M.W., Leventhal, A.H.: Dynamic instrumentation of production systems. In: Proceedings of USENIX ATC, pp. 15–28 (2004)
4. Carette, J., Kiselyov, O., Shan, C.: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. Journal of Functional Programming 19(5), 509–543 (2009)
5. Feigin, B., Mycroft, A.: Jones optimality and hardware virtualization: a report on work in progress. In: Proceedings of PEPM, pp. 169–175 (2008)