• DocumentCode
    2863597
  • Title

    Techniques for the formal definition of the G-LOTOS syntax

  • Author

    Bolognesi, Tommaso ; Latella, Diego

  • Author_Institution
    CNR CNUCE, Pisa, Italy
  • fYear
    1989
  • fDate
    4-6 Oct 1989
  • Firstpage
    43
  • Lastpage
    49
  • Abstract
    Some approaches for formally defining the graphical syntax of LOTOS, called G-LOTOS, are discussed. An extended grammar approach is contrasted with one based on an abstract syntax for LOTOS; the usefulness of definite clause grammars is also considered. The advantages and disadvantages of the different approaches are evaluated
  • Keywords
    computational linguistics; computer graphics; grammars; graph theory; specification languages; user interfaces; G-LOTOS syntax; definite clause grammars; extended grammar approach; formal definition; graphical syntax; Algebra; Collaborative work; Graphics; Law; Legal factors; Out of order;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Visual Languages, 1989., IEEE Workshop on
  • Conference_Location
    Rome
  • Print_ISBN
    0-8186-2002-1
  • Type

    conf

  • DOI
    10.1109/WVL.1989.77040
  • Filename
    77040
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2863597