And/Or Programs: A New Approach to Structured Programming
- 1 January 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 2 (1), 1-17
- https://doi.org/10.1145/357084.357085
Abstract
A simple tree-like programming/specification language is presented. The central idea is the dividing of conventional programming constructs into the two classes of and and or subgoaling, the subgoal tree itself constituting the program. Programs written in the language can, in general, be both nondeterministic and parallel. The syntax and semantics of the language are defined, a method for verifying programs written in it is described, and the practical significance of programming in the language assessed. Finally, some directions for further research are indicated.Keywords
This publication has 6 references indexed in Scilit:
- do considered od: A contribution to the programming calculusActa Informatica, 1979
- Higher Order Software—A Methodology for Defining SoftwareIEEE Transactions on Software Engineering, 1976
- Equivalence between AND/OR graphs and context-free grammarsCommunications of the ACM, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963