An Abstract Machine for Strong Call by Value.

Malgorzata Biernacka Dariusz Biernacki Witold Charatonik Tomasz Drab

Published in: CoRR (2020)

Keyphrases

abstract machine
data model
information retrieval
data streams
data structure
knowledge discovery