Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore.

Jean-Louis Colaço Bruno Pagano Cédric Pasteur Marc Pouzet

Published in: FDL (2018)

Keyphrases

logic programming
highly parallel
relational databases
semantic information
specification language
media processing
database
web services
case study
general purpose
cloud computing
formal semantics
computing power
graphics processing units