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

A.J.J.M. Marcelis

Onderzoeksoutput: Boek/rapportRapportAcademic

70 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's22
StatusGepubliceerd - 1991

Publicatie series

NaamComputing science notes
Volume9116

Citeer dit