A verified abstract machine for functional coroutines.

Tristan Crolard

Published in: WoC (2015)

Keyphrases

abstract machine
data model
functional analysis
database
data sets
information systems
multimedia
optimal solution
cooperative
digital libraries