A Formally Verified Compiler Back-end-Reference-Cited by-同舟云学术

A Formally Verified Compiler Back-end

Author:

Leroy Xavier

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

Reference95 articles.

1. Appel, A.W.: Modern Compiler Implementation in ML. Cambridge University Press, Cambridge (1998)

2. Appel, A.W.: Foundational proof-carrying code. In: Logic in Computer Science 2001, pp. 247–258. IEEE Computer Society Press, Silver Spring (2001)

Cited by 298 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Memory Simulations, Security and Optimization in a Verified Compiler;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

3. Engineering a Formally Verified Automated Bug Finder;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. Strongly-Typed Multi-View Stack-Based Computations;International Symposium on Principles and Practice of Declarative Programming;2023-10-22

5. Trustworthy Formal Natural Language Specifications;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18