Blog
About

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

      Formalizing CORRELATE - from Practice to Pi

      1 , 2 , 3

      Proceedings of the 2nd BCS-FACS Northern Formal Methods (FM)

      Northern Formal Methods

      14-15 July 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

          Correlate is a concurrent object-oriented language that has been used in real-world applications in areas of High- Performance Computing, network applications and multi-agent systems. The practical goal of the language is to offer a powerful programming environment in which both application and system software can be described using the paradigm of concurrent objects.

          In this paper, the formal description of Correlate in the pi-calculus is discussed. In our experience, such a formalization process is a crucial step in the design process of a practical language, even though not every detail need to be modelled. Several examples illustrate the benefits of our specification especially from the viewpoint of the language designer. Finally it is shown that an operational prototype can be easily constructed by translation from the pi-calculus to Pict.

          Related collections

          Most cited references 2

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

          Issues in the design of a parallel object-oriented language

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

            Denotational semantics of a parallel object-oriented language

              Bookmark

              Author and article information

              Conference
              July 1997
              July 1997
              : 1-15
              Affiliations
              Dept. of Computer Science., K.U.Leuven

              Celestijnenlaan 200A, B3001 Leuven - Belgium
              Article
              10.14236/ewic/FA1997.14
              © Bert Robben et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

              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 BCS-FACS Northern Formal Methods
              FM
              2
              Ilkley
              14-15 July 1997
              Electronic Workshops in Computing (eWiC)
              Northern 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