A Conceptual Framework for a Nonprocedural Programming Language A sequential programming language forces the programmer to prescribe explicitly the order in which the operations in his program have to be executed, even if the order is not relevant to the solution of his problem. The requirement to indicate irrelevant sequencing can be removed if the language provides facilities for specifying a task in a nonprocedural manner. In general, a program specified in this way will allow concurrent evaluation. This paper describes a conceptual framework for a high level programming language providing both nonprocedural and sequential facilities. Within a program, nonprocedural and sequential program modules may be nested freely. CACM December, 1977 Kessels, J. L. W. parallel programming, descriptive programming, nonprocedural programming, definitional language, data flow programming, applicative programming 4.20 CA771202 JB February 1, 1980 4:05 AM 2865 4 2898 2866 4 2898 2898 4 2898 2898 4 2898 2972 4 2898 3043 4 2898 3128 4 2898 3144 4 2898 2597 5 2898 2898 5 2898 2898 5 2898 2898 5 2898 2946 5 2898