Abstract Syntax for Variable Binders: An Overview.

Published in: Computational Logic (2000)

Keyphrases

high level
real time
low level
operational semantics
databases
decision making
multimedia
search algorithm
context free grammars
state machines