A new LALR formalism.

Joseph C. H. Park

Published in: ACM SIGPLAN Notices (1982)

Keyphrases

formal theory
logical framework
metadata
website
optimal solution
trade off
special case
representation language