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].
Files	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:16 next 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.