Blog
About

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

      On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs

      ,

      6th International Workshop on Formal Methods (FM)

      Formal Methods

      11 July 2003

      Formal methods, metrics, denotational semantics, deterministic programs, probabilistic programs, logic programs, Banach space, bounded linear operators

      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 present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational process and for features of programming languages. In this paper, considering work of Kozen showing that complete normed vector spaces (Banach spaces) and bounded linear operators provide a framework for the semantics of deterministic and probabilistic programs, we include logic programs within this framework. We thereby make it a framework in which it is possible to handle the semantics of all three types of program. Using these ideas, we advance a programme of research proposed by M. Bukatin and J.S. Scott concerned with defining and computing meaningful notions of metrics and generalized metrics measuring the distance between two programs, the terms metrics and generalized metrics being used here in the precise sense in which they are employed in mathematics. The longterm objective of this work is to use such metrics as tools in measuring correctness of programs.

          Related collections

          Most cited references 4

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

          Partial Metric Topology

           S Matthews (1994)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Semantics of probabilistic programs

             Dexter Kozen (1981)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Equivalences of Logic Programs

               M.J. Maher (1988)
                Bookmark

                Author and article information

                Contributors
                Conference
                July 2003
                July 2003
                : 1-13
                Affiliations
                Department of Mathematics, University College Cork, Cork, Ireland
                Article
                10.14236/ewic/IWFM2003.1
                © Anthony Karel Seda et al. Published by BCS Learning and Development Ltd. 6th International Workshop on Formal Methods, Dublin City University, 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/

                6th International Workshop on Formal Methods
                FM
                6
                Dublin City University, Ireland
                11 July 2003
                Electronic Workshops in Computing (eWiC)
                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