Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs.

Jan Vraný Boris Shingarov

Published in: Programming (2024)

Keyphrases

programming language
main contribution
databases
machine learning
artificial intelligence
decision making
general purpose
theoretical framework