What Do Semantics Matter When the Meat Is Overcooked?.

José Luiz Fiadeiro

Published in: Concurrency, Graphs and Models (2008)

Keyphrases

formal semantics
logic programming
semantic information
databases
image processing
website
deductive databases
graphical representation
specification language
proof theory