Operational Semantics for Order-Sorted Algebra.

Joseph A. Goguen Jean-Pierre Jouannaud José Meseguer

Published in: ICALP (1985)

Keyphrases

operational semantics
order sorted
data model
predicate logic
formal semantics
mental states
denotational semantics
model theoretic
query language
activity diagrams
high level
cooperative
database systems
agent programming
logic programs
life cycle
machine learning
computer science