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

A.J.J.M. Marcelis

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume9116

Cite this