Encoding Abstract Syntax Without Fresh Names.

Matthew R. Lakin Andrew M. Pitts

Published in: J. Autom. Reason. (2012)

Keyphrases

high level
metadata
low level
fractal image compression
precisely defined
database
real time
information retrieval
keywords
higher level
person names