A formatting parser for PASCAL programs.

Published in: ACM SIGPLAN Notices (1980)

Keyphrases

natural language
natural language processing
xml documents
automatic programming
data structure
markup language
dependency parsing
programming environment
fixpoint
provably correct