Operational Semantics of Rewriting with the On-demand Evaluation Strategy.

Kazuhiro Ogata Kokichi Futatsugi

Published in: SAC (2) (2000)

Keyphrases

operational semantics
formal semantics
artificial intelligence
reinforcement learning
software development
mental states
activity diagrams