Type of Document Master's Thesis Author Klingler, Carol Diane URN etd-01202010-020048 Title Syntax-directed semantics-supported editing of algebraic specifications Degree Master of Science Department Computer Science and Applications Advisory Committee
Advisor Name Title Antoy, Sergio Committee Chair Reid, Thomas F. Committee Member Schneider, Richard E. Committee Member Keywords
- Text editors (Computer programs)
Date of Defense 1990-05-05 Availability restricted Abstract
This paper describes the functions performed by a program written to support syntax-directed editing of Emily algebraic specifications in the GNU EMACS text editor. The Emily algebraic specification language is a strongly-typed functional language which can be used to define abstract data types. The Emily language uses term rewriting rules to perform computations and is based on the algebraic specification language in [ANT089].
The program uses the binary choice method and recursive reduction, which guarantee that the resultant specifications satisfy the properties of completeness, parsimony, and termination ([ANT089]). The program is written in EMACS LISP under the UNIX operating system, with subprocesses written in C. An Emily translator, written in C, is called to parse the specifications and check for certain types of errors [SHAW89].
Filename Size Approximate Download Time (Hours:Minutes:Seconds)
28.8 Modem 56K Modem ISDN (64 Kb) ISDN (128 Kb) Higher-speed Access LD5655.V851_1990.K546.pdf 3.12 Mb 00:14:26 00:07:25 00:06:29 00:03:14 00:00:16next to an author's name indicates that all files or directories associated with their ETD are accessible from the Virginia Tech campus network only.
If you have questions or technical problems, please Contact DLA.