Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic class initialization semantics: a Jinja extension;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019
2. A Java Bytecode Formalisation;Lecture Notes in Computer Science;2018
3. Programming a Smalltalk VM in Coq;Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies;2017-09-04
4. An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor;FM 2016: Formal Methods;2016
5. Animating the Formalised Semantics of a Java-Like Language;Interactive Theorem Proving;2011