Syntax-directed semantics-supported editing of algebraic specifications
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Published: |
Virginia Tech
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10919/40682 http://scholar.lib.vt.edu/theses/available/etd-01202010-020048/ |