1,664
views
0
recommends
+1 Recommend
1 collections
    8
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Interpreting Nondeterminism in the Refinement Calculus

      proceedings-article
      ,
      Proceedings of the BCS-FACS 7th Refinement Workshop (RW)
      BCS-FACS 7th Refinement Workshop
      3-5 July 1996
      Bookmark

            Abstract

            We introduce a simple programming language and define its predicate transformer semantics. We motivate the choice of the constructs for the language by algebraic arguments, showing that the constructs are essentially the basic algebraic operations that are available for predicate transformers, when these are viewed as forming a complete lattice enriched category. We then show that the statements in the language can be given a simple operational interpretation, as describing the interaction between a user and a computing system. This gives a general intuitive interpretation of angelic and demonic nondeterminism. We also consider the notion of correctness and refinement of program statements that this intuitive interpretation gives rise to, and show the connection between the user-system interpretation and the interpretation of program execution as a game.

            Content

            Author and article information

            Conference
            July 1996
            July 1996
            : 1-11
            Affiliations
            [0001]Department of Computer Science, Abo Akademi University

            Turku, Finland
            Article
            10.14236/ewic/RW1996.1
            202007b3-c257-44c4-890e-7325f3a49818
            © Ralph-Johan Back et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS 7th Refinement Workshop, Bath

            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 BCS-FACS 7th Refinement Workshop
            RW
            7
            Bath
            3-5 July 1996
            Electronic Workshops in Computing (eWiC)
            BCS-FACS 7th Refinement Workshop
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/RW1996.1
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article