Author:
Schneider Sigurd,Smolka Gert,Hack Sebastian
Publisher
Springer International Publishing
Reference19 articles.
1. Appel, A.W.: Compiling with Continuations. Cambridge University Press, Cambridge (1992)
2. Appel, A.W.: SSA is functional programming. In: SIGPLAN Notices, vol. 33, no. 4 (1998)
3. Lecture Notes in Computer Science;G Barthe,2012
4. Beringer, L., MacKenzie, K., Stark, I.: Grail: a functional form for imperative mobile code. In: ENTCS, vol. 85, no. 1 (2003)
5. Lecture Notes in Computer Science;S Blazy,2010
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Handling B models in the PERF integrated verification framework: Formalised and certified embedding;Science of Computer Programming;2020-09
2. Verified Spilling and Translation Validation with Repair;Interactive Theorem Proving;2017
3. Verified construction of static single assignment form;Proceedings of the 25th International Conference on Compiler Construction;2016-03-17
4. Axiomatic semantics for compiler verification;Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs;2016-01-18