Login / Signup
Semantics of Order-Sorted Specifications.
Uwe Waldmann
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