Towards a Dynabook for verified VM construction.

Boris Shingarov Jan Vraný

Published in: J. Comput. Lang. (2024)

Keyphrases

virtual machine
databases
real time
construction process
database
metadata
website
computational complexity
search space