skip to main content
article

Teaching declarative programming

Published:01 January 1975Publication History
Skip Abstract Section

Abstract

At the Conference on Programming Methodology in January 1974 at Albuquerque, New Mexico Prof. Edsger Dijkstra described a method of program development in which the imperative form of a program is developed from the assertions which form the correctness proof. In other words the declarative (or non-procedural) aspect of an algorithm guides its implementation into an imperative (or procedural) form. While extremely exciting, this methodology is rather alien to those with traditional training in the imperative method of program development. Since this encompasses almost everyone including most instructors and students, a problem arises in introducing the methodology into the standard computer science curriculum. This paper describes our approach to the problem at New Mexico State and the results.

References

  1. 1 Adams, J. M., "Notes on the Conference on Programming Methodology", New Mexico State University Computer Science Department Report, Las Cruces, N. M., May 1974.Google ScholarGoogle Scholar
  2. 2 Wirth, N., Systematic Programming: An Introduction, Prentice-Hall, Englewood Cliffs, N. J., 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Teaching declarative programming

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in

              Full Access

              • Published in

                cover image ACM SIGCSE Bulletin
                ACM SIGCSE Bulletin  Volume 7, Issue 1
                Proceedings of the 5th SIGCSE symposium on Computer science education
                February 1975
                209 pages
                ISSN:0097-8418
                DOI:10.1145/953064
                Issue’s Table of Contents
                • cover image ACM Conferences
                  SIGCSE '75: Proceedings of the fifth SIGCSE technical symposium on Computer science education
                  January 1975
                  221 pages
                  ISBN:9781450373982
                  DOI:10.1145/800284

                Copyright © 1975 ACM

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 1 January 1975

                Check for updates

                Qualifiers

                • article
              About Cookies On This Site

              We use cookies to ensure that we give you the best experience on our website.

              Learn more

              Got it!