Blog
About

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

      Investigating Miraculous Specifications

      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

          In order to use expressions as the basis of a specification language, we admit undefinedness, and introduce nondeterminism through the use of a choice operator. We extend expressiveness of the language by allowing choice from a set of values. Such a set could be infinite, giving unbounded non-determinism, or it could be empty, producing miracles. In this paper we treat the miraculous specification, examining its uses and highlighting related problems. In particular, we find that miracles promote the possibility of specification in parts, and piecewise refinement. However, their undesirable properties mean that we must limit their use. A biased choice operator is introduced as a method of totalising miraculous expressions. Finally, the formation of miraculous functions is considered with reference to their use and manipulation.

          Related collections

          Most cited references 5

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

          A theoretical basis for stepwise refinement and the programming calculus

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

            Power domains

             M.B. Smyth (1978)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              A calculus of refinements for program derivations

               R. J. R. Back (1988)
                Bookmark

                Author and article information

                Conference
                September 1998
                September 1998
                : 1-12
                Affiliations
                Information Technology Centre,

                National University of Ireland, Galway

                Galway, Ireland
                Article
                10.14236/ewic/NFM1998.9
                © Sharon Flynn. 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