Blog
About

135
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Formal Aspects of and Development Environments for Montages

      , ,

      Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications (AS)

      Theory and Practice of Algebraic Specifications

      25-26 September 1997

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          The specification of all aspects of a programming language requires adequate formal models and tool support. Montages specifications combine graphical and textual elements to yield language descriptions similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. A broad range of people involved in programming language design and use may find it convenient to use Montages in combination with the tool GEM–MEX. It allows the automatic generation of high–quality documents, type–checkers, interpreters and symbolic debuggers.

          Related collections

          Most cited references 6

          • Record: found
          • Abstract: not found
          • Article: not found

          Semantics of context-free languages

           Donald Knuth (1968)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Initial Algebra Semantics and Continuous Algebras

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              The semantics of the C programming language

                Bookmark

                Author and article information

                Conference
                September 1997
                September 1997
                : 1-16
                Affiliations
                International Computer Science Institute

                Berkeley, CA, USA
                Eidgenössische Technische Hochschule

                Zürich, Switzerland
                Università di L’Aquila

                Article
                10.14236/ewic/AL1997.1
                © Matthias Anlauff et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications
                AS
                2
                Amsterdam
                25-26 September 1997
                Electronic Workshops in Computing (eWiC)
                Theory and Practice of Algebraic Specifications
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article