Teaching declarative programming
Published in ACM SIGCSE Bulletin • Jan 1, 1975
Authors:
J. M. Adams
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-...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!