A domain-theoretic semantics of lax generic functions.

Published in: CTCS (1999)

Keyphrases

domain specific
domain independent
logic programming
formal semantics
transformation rules
information systems
high level
expert systems
case based reasoning
domain experts
integrity constraints
graphical representation
semantic representation