3 ms·
The K framework is a tool to help verify semantics of languages- there are definitions for WASM, Ethereum VM, lisp, java etc. Tbh I thought a lot of of the dev
by alexisread 6y ago
The K framework is a tool to help verify semantics of languages- there are definitions for WASM, Ethereum VM, lisp, java etc.
Tbh I thought a lot of of the development had moved to K-Maude, guess I was wrong :)
http://fsl.cs.illinois.edu/pubs/serbanuta-rosu-2010-wrla-slides.pdf http://fsl.cs.illinois.edu/pubs/serbanuta-rosu-2010-wrla-sli...