An example of proving attribute grammars correct : the representation of arithmetical expressions by DAGs

A.J.J.M. Marcelis

Research output: Book/ReportReportAcademic

32 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages22
Publication statusPublished - 1991

Publication series

NameComputing science notes
Volume9116

Cite this

Marcelis, A. J. J. M. (1991). An example of proving attribute grammars correct : the representation of arithmetical expressions by DAGs. (Computing science notes; Vol. 9116). Technische Universiteit Eindhoven.