Title page for ETD etd-01202010-020048

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
  • Text editors (Computer programs)
Date of Defense 1990-05-05
Availability restricted

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 
[VT] LD5655.V851_1990.K546.pdf 3.12 Mb 00:14:26 00:07:25 00:06:29 00:03:14 00:00:16
[BTD] 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.

Browse All Available ETDs by ( Author | Department )

dla home
etds imagebase journals news ereserve special collections
virgnia tech home contact dla university libraries

If you have questions or technical problems, please Contact DLA.