Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
Home Page:https://ankitku.github.io/posts/2016-10-30-Mechanizing-Metatheory-of-TAL-0.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool