Semantics of Order-Sorted Specifications.

Published in: Theor. Comput. Sci. (1992)

Keyphrases

order sorted
predicate logic
specification language
formal language
control flow
operational semantics
logic programming
formal semantics
attribute grammars
formal specification
artificial intelligence
semantic information
semantic representation
programming language