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
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;
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
DOI :
10.1109/CMPSAC.1989.65153
