A Simple Syntax for Complex Semantics.

Published in: PACLIC (2002)

Keyphrases

high level
real world
definition language
operational semantics
decision trees
logic programming
complex systems