• DocumentCode
    2182968
  • Title

    The VAS formalism in VASE

  • Author

    Oskudarli, S. ; Dinesh, T.B.

  • Author_Institution
    Programming Res. Group, Amsterdam Univ., Netherlands
  • fYear
    1996
  • fDate
    3-6 Sep 1996
  • Firstpage
    140
  • Lastpage
    147
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Visual Languages, 1996. Proceedings., IEEE Symposium on
  • Conference_Location
    Boulder, CO
  • ISSN
    1049-2615
  • Print_ISBN
    0-8186-7508-X
  • Type

    conf

  • DOI
    10.1109/VL.1996.545280
  • Filename
    545280
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2182968