DocumentCode
2166137
Title
Generating displays for specifications using attribute grammars
Author
Berzins, V. ; Lee, Young-Joon
Author_Institution
Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA
fYear
1989
fDate
20-22 Sep 1989
Firstpage
596
Lastpage
602
Abstract
The authors report their experiences using attribute grammars to generate pretty printers automatically for a formal specification language. This technology enables such tools to be created with a relatively small amount of effort. The resulting tools are easy to modify and are fast enough for practical use. The extension of this technique to other notations is discussed
Keywords
formal languages; formal specification; grammars; software engineering; software tools; attribute grammars; display generation; formal specification language; pretty printers; tools; Computational modeling; Computer aided software engineering; Computer displays; Computer languages; Computer science; Formal languages; Formal specifications; Printers; Programming; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International
Conference_Location
Orlando, FL
Print_ISBN
0-8186-1964-3
Type
conf
DOI
10.1109/CMPSAC.1989.65153
Filename
65153
Link To Document