Title :
The VAS formalism in VASE
Author :
Oskudarli, S. ; Dinesh, T.B.
Author_Institution :
Programming Res. Group, Amsterdam Univ., Netherlands
Abstract :
This paper discusses the visual algebraic specification (VAS) formalism and its supporting interactive environment (VASE). The VAS formalism is intended for the definition of visual syntax and semantics and is aimed at generating language specific environments. The collection construct of VAS is emphasized in that it supports the convenient specification of language constructs involving arbitrarily many items. The VAS formalism and supporting environment are discussed by use of an example in which the syntax, semantics and interaction of a toy language are specified
Keywords :
algebraic specification; formal specification; visual languages; visual programming; VAS; VASE; interactive environment; language specific environments; toy language; visual algebraic specification; visual syntax and semantics; Engines; Equations; Program processors; Prototypes; Specification languages;
Conference_Titel :
Visual Languages, 1996. Proceedings., IEEE Symposium on
Conference_Location :
Boulder, CO
Print_ISBN :
0-8186-7508-X
DOI :
10.1109/VL.1996.545280
