AGATE

All Good Acronyms Taken, Evidently


What is it?

AGATE is... hard to describe. We represent compiled programs using dynamic grammars, and by generating sentences using the grammar, we are essentially building an execution trace of the program. Instructions correspond to terminal symbols in the grammar, and we execute instructions as the execution trace is generated. This has some interesting side effects:

Note that this translation into dynamic grammars is done at a low level, so the user never sees the grammar at all.

Demo

A demonstration of AGATE's mechanism is available.

People

Publications