Author:
Oliva Dino P.,Ramsdell John D.,Wand Mitchell
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software,General Computer Science
Reference32 articles.
1. Andrew W. Appel.Compiling with Continuations. Cambridge University Press, Cambridge and New York, 1992.
2. Henk P. Barendregt.The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam, 1981.
3. Robert S. Boyer and J Strother Moore.A Computational Logic. Academic Press, 1979.
4. Robert S. Boyer and Yuan Yu. Automated correctness proofs of machine code programs for a commercial microprocessor. In D. Kapur, editor,Automated Deduction ? CADE-11, pages 416?430. 11th International Conference on Automated Deduction, Springer Verlag, 1992.
5. William Clinger. The Scheme 311 compiler: An exercise in denotational semantics. In1984 ACM Symposium on Lisp and Functional Programming, pages 356?364, New York, August 1984. The Association for Computing Machinery, Inc.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献