An Abstract Machine for Strong Call by Value.

Malgorzata Biernacka Dariusz Biernacki Witold Charatonik Tomasz Drab

Published in: APLAS (2020)

Keyphrases

abstract machine
data model
database
databases
search algorithm
computer vision
knowledge base
special case