And/Or Programs: A New Approach to Structured Programming | Zendy

David Harel | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

And/Or Programs: A New Approach to Structured Programming

Author(s) -

David Harel

Publication year - 1980

Publication title -

acm transactions on programming languages and systems

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.233

H-Index - 70

eISSN - 1558-4593

pISSN - 0164-0925

DOI - 10.1145/357084.357085

Subject(s) - computer science , programming language , nondeterministic algorithm , first generation programming language , abstract syntax tree , syntax , semantics (computer science) , programming language specification , very high level programming language , high level programming language , simple (philosophy) , programming paradigm , programming domain , theoretical computer science , inductive programming , artificial intelligence , parsing , philosophy , epistemology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research