Blog
About

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

      Facilitating Modular Property-Preserving Extensions of Programming Languages

      2nd Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      2-3 July 1998

      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

          We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in a self-contained, orthogonal way. We present an extension semantics framework consisting of mechanisms to adapt semantics of a basic language to new structural requirements in an extended language preserving the behaviour of programs of the basic language. Common templates of extension are provided. These can be collected in extension libraries accessible to and extendible by language designers. Mechanisms to extend these libraries are provided. A notation for describing language features embedding these semantics extensions is presented.

          Related collections

          Most cited references 3

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

          Abstract Interpretation Frameworks

            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            The essence of functional programming

             Philip Wadler (1992)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Data reification without explicit abstraction functions

               T. Clement (1996)
                Bookmark

                Author and article information

                Conference
                July 1998
                July 1998
                : 1-18
                Affiliations
                Department of Computer Science, University College Cork

                Cork, Ireland
                Article
                10.14236/ewic/FM1998.11
                © Claus Pahl. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

                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/

                2nd Irish Workshop on Formal Methods
                FM
                2
                Cork, Ireland
                2-3 July 1998
                Electronic Workshops in Computing (eWiC)
                Irish Workshop on Formal Methods
                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