47
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      A theoretical basis for stepwise refinement and the programming calculus

      Science of Computer Programming

      Elsevier BV

      Read this article at

      ScienceOpenPublisher
      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.

          Related collections

          Most cited references 4

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

          Program development by stepwise refinement

           Niklaus Wirth (1971)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Fixed point theorems and semantics: a folk tale

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

              Predicative programming Part I

                Bookmark

                Author and article information

                Journal
                Science of Computer Programming
                Science of Computer Programming
                Elsevier BV
                01676423
                December 1987
                December 1987
                : 9
                : 3
                : 287-306
                Article
                10.1016/0167-6423(87)90011-6
                © 1987

                Comments

                Comment on this article