Denotational Testing Semantics in Coinductive Form.

Michele Boreale Fabio Gadducci

Published in: MFCS (2003)

Keyphrases

operational semantics
logic programming
databases
case study
formal semantics
database
website
domain knowledge
knowledge representation
graphical representation
formal language