Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics.

Juin-Yeu Lu Shiu-Kai Chin

Published in: TPHOLs (1994)

Keyphrases

multi agent systems
formal semantics
logical language
formal language
operational semantics
modelling language
modeling language
speech acts
first order logic
er model
logical reasoning
model theoretic
representation language
artificial intelligence
temporal logic
database management systems
database systems