Reference16 articles.
1. L. Bettini. Implementing Java-like languages in Xtext with Xsemantics. In S. Y. Shin and J. C. Maldonado, editors, Symposium on Applied Computing, pages 1559--1564, Coimbra, Portugal, Mar. 2013. ACM.
2. N. S. Bjørner. Minimal Typing Derivations. In Workshop on ML and its Applications, pages 120--126. ACM, 1994.
3. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471--522, 1985.
4. I. Corp. Pin - a dynamic binary instrumentation tool. http://www.pintool.org.
5. C. Elliott, S. Finne, and O. de Moor. Compiling Embedded Languages. Journal of Functional Programming, 13(2), 2003.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献