Action Semantics Reasoning about Functional Programs.

Søren B. Lassen

Published in: Math. Struct. Comput. Sci. (1997)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
action language
complete axiomatization
logic programs
practical reasoning
stochastic grammar
logic programming
functional language
machine learning
active rules
modal operators