Mechanising and verifying the WebAssembly specification
C Watt - Proceedings of the 7th ACM SIGPLAN International …, 2018 - dl.acm.org
WebAssembly is a new low-level language currently being implemented in all major web
browsers. It is designed to become the universal compilation target for the web, obsoleting …
browsers. It is designed to become the universal compilation target for the web, obsoleting …
[PDF][PDF] Forth semantics for compiler verification
B Stoddart, C Ritchie, S Dunne - 28th EuroForth Conference, 2012 - complang.tuwien.ac.at
Here we are interested in the semantics of Forth from the point of view of using Forth as a
target language for a formally verified compiler for Ruth-R, a reversible sequential …
target language for a formally verified compiler for Ruth-R, a reversible sequential …