An educational software system of a tiny self-compiling C compiler, a ti...
A symbolic Java virtual machine for program analysis, verification and t...