December 08, 2003
Formal Verification of Attribute Grammar Specifications
Thesis submitted.
Some of the work from the thesis was presented at the Fourth Workshop on Language Descriptions, Tools and Applications (LDTA 2004). The paper is published in Electronic Notes in Theoretical Computer Science Vol. 110
Posted by Shirley at 07:00 AM | Comments (0)