And/Or Programs: A New Approach to Structured Programming

  title={And/Or Programs: A New Approach to Structured Programming},
  author={D. Harel},
  journal={ACM Trans. Program. Lang. Syst.},
  • D. Harel
  • Published 1980
  • Computer Science
  • ACM Trans. Program. Lang. Syst.
  • 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… CONTINUE READING
    42 Citations
    Transformations of Logic Programs
    • 14
    constraint logic programming
    • 7
    on And/Or Schemes
    • 2
    Casting Petri Nets into Programs
    • 68
    Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming
    • K. Apt
    • Computer Science, Mathematics
    • Sci. Comput. Program.
    • 1996
    • 5
    • PDF
    Alternation as a programming paradigm
    • 1
    • Highly Influenced
    • PDF
    A Perspective on Automatic Programming
    • 42
    • PDF