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

fYear

1993

fDate

17-21 May 1993

Firstpage

324

Lastpage

335

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1993. Proceedings., 15th International Conference on

Conference_Location

Baltimore, MD

ISSN

0270-5257

Print_ISBN

0-8186-3700-5

Type

conf

DOI

10.1109/ICSE.1993.346032

Filename

346032