Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs
Jan Vraný, Boris Shingarov · 2024
This talk presents Tinyrossa, an experimental JIT– and AoT–compilation framework which is part of our larger “Smalltalk-25” program of research towards constructing dynamic-language VMs using formal methods.