Generic Trace Semantics via Coinduction.

Ichiro Hasuo Bart Jacobs Ana Sokolova

Published in: Log. Methods Comput. Sci. (2007)

Keyphrases

formal semantics
logic programming
transformation rules
data sets
information systems
domain specific
semantic information
conceptual model
graphical representation
semantic representation
specification language