288
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

      proceedings-article

      1 , 2 , 3

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

      Northern Formal Methods

      14-15 July 1997

      Bookmark

            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.

            Content

            Author and article information

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

            Celestijnenlaan 200A, B3001 Leuven - Belgium
            Article
            10.14236/ewic/FA1997.14
            266658e2-cf3c-4bf3-9dd8-cf0a65032f03
            © 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