Author:
Guttman Joshua D.,Ramsdell John D.,Wand Mitchell
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software,General Computer Science
Reference32 articles.
1. Joel F. Bartlett. Scheme->C: A portable Scheme-to-C compiler. WRL 89/1, Digital Equipment Corporation Western Research Laboratory, January 1989.
2. 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.
3. 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.
4. William Clinger and Jonathan A. Rees (eds.). Revised4 report on the algorithmic language Scheme. Technical Report CIS-TR-90-02, University of Oregon, 1990.
5. Bruno Courcelle. Fundamental properties of infinite trees.Theoretical Computer Science, 25:95?169, 1983.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A minimalistic verified bootstrapped compiler (proof pearl);Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
2. Towards formally verified compilation of tag-based policy enforcement;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
3. Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran;Protocols, Strands, and Logic;2021
4. CakeML;ACM SIGPLAN Notices;2014-01-13
5. CakeML;Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2014-01-08