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

      Recursion Diagrams: ideas for a Geometry of Formal Methods

      3rd BCS-FACS Northern Formal Methods Workshop (NFM)

      BCS-FACS Northern Formal Methods Workshop

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

          This paper describes work leading towards the concept of a Geometry of Formal Methods[Mac96],[HM97], which explores the relationship between various formal description techniques and aspects of modern abstract algebraic theories with a strong geometric interpretation, in particular such concepts as fibre-bundles, sheaves and related ideas in topology and category theory. Inspired by ideas and notions of seeking a geometry of computing and of formal methods, and with the category theoretic concepts of topos in mind, we explore how such a geometry might be expressed in concrete diagrams, and explore their ability to lay clear some of the concepts behind tail recursion optimisation. We also indicate how this approach can be used in an exposition of various published program transformation rules in this area. We also show the use of category theoretic notions to help explain the similarity of two apparently quite different diagrams. All of this points towards a future foundation for our geometry, both in diagrammatic and algebraic form, in the area of category theory.

          Related collections

          Most cited references 2

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

          Preface

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

            Pi-nets: A graphical form of π-calculus

             Robin Milner (1994)
              Bookmark

              Author and article information

              Contributors
              Conference
              September 1998
              September 1998
              : 1-19
              Affiliations
              Foundations and Methods Group,

              Trinity College,

              Dublin University,
              Article
              10.14236/ewic/NFM1998.4
              © Dr. Andrew Butterfield. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

              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/

              3rd BCS-FACS Northern Formal Methods Workshop
              NFM
              3
              Ilkley, UK
              14-15 September 1998
              Electronic Workshops in Computing (eWiC)
              BCS-FACS Northern Formal Methods Workshop
              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