Title :
A high level language for specifying graph based languages and their programming environments
Author :
Kleyn, M.F. ; Browne, J.C.
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Abstract :
The authors describe a high level language for specifying programming environments for programming languages that are based on directed attributed graphs. The high level language allows the specifier to describe views of portions of a program written in such a graph-based language, the editing operations used to create the program, animations of the execution of the program, and sufficient detail of the execution semantics to support the animations. The use of the specification language is demonstrated with a simple example of a graph-based language. The automatic generation of the programming environment is described for such graph based languages from descriptions made in the specification language. The specification language is based on using a grammar to describe the components of the graph based language and using a first-order logic based language to describe state changes in editing, execution, and animation
Keywords :
directed graphs; formal specification; grammars; graph theory; programming environments; specification languages; animations; directed attributed graphs; editing operations; execution semantics; first-order logic; grammar; graph based languages; high level language; program execution; programming environments; programming languages; specification language; Animation; Computer languages; Computer science; Graphical user interfaces; High level languages; Libraries; Parallel programming; Petri nets; Programming environments; Specification languages;
Conference_Titel :
Software Engineering, 1993. Proceedings., 15th International Conference on
Conference_Location :
Baltimore, MD
Print_ISBN :
0-8186-3700-5
DOI :
10.1109/ICSE.1993.346032
