Operational versus definitional: a perspective on programming paradigms
- 1 September 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 25 (9) , 28-43
- https://doi.org/10.1109/2.156380
Abstract
Various paradigms that support high-level programming are discussed independently of supporting languages. The paradigms are grouped according to their approach to problem solving. The operational approach describes step-by-step how to construct a solution. The demonstrational approach is a variation on it that illustrates the solution operationally for specific examples and lets the system generalize these example solutions for other cases. The definitional approach is different. It states properties about the solution to constrain it without describing how to compute it. These three approaches are viewed on a continuum from operational to definitional. A pure language solution to the problem of sorting a list into some linear order is presented for each paradigm.Keywords
This publication has 16 references indexed in Scilit:
- Programming through pictorial transformationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Visual representation and manipulation of matricesJournal of Visual Languages & Computing, 1992
- A 3D spreadsheet based on intensional logicIEEE Software, 1990
- Linda in contextCommunications of the ACM, 1989
- Inducing programs in a direct-manipulation environmentPublished by Association for Computing Machinery (ACM) ,1989
- Programming in PrologPublished by Springer Nature ,1987
- Graphically Defining New Building Blocks in ThingLabHuman–Computer Interaction, 1986
- Think Pad: A Graphical system for Program-ming bY DemonstrationIEEE Software, 1985
- The paradigms of programmingCommunications of the ACM, 1979
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960