Characterizing Behavioural Semantics and Abstractor Semantics.

Michel Bidoit Rolf Hennicker Martin Wirsing

Published in: ESOP (1994)

Keyphrases

formal semantics
logic programming
real time
expert systems
semantic information
transformation rules
data mining
data structure
data model
natural language processing
operational semantics