Executable Specifications based on Dynamic Algebras.

Angelica Maria Kappel

Published in: LPAR (1993)

Keyphrases

formal specification
dynamic environments
machine learning
information systems
similarity measure
logic programs
attribute grammars