Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Annual review of computer science vol. 1, 1986
Programming in Prolog (3rd ed.)
Programming in Prolog (3rd ed.)
Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
Parallel programming
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Communications of the ACM
Inducing programs in a direct-manipulation environment
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Communications of the ACM
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
A 3D Spreadsheet Based on Intensional Logic
IEEE Software
Process clustering for distributed debugging
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
A multiparadigm approach to compiler construction
ACM SIGPLAN Notices
Paradigms for educational research in computer science
Proceedings of the 2nd Australasian conference on Computer science education
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation
Proceedings of the 22nd international conference on Software engineering
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification by-Example of Virtual Agents Behavior
IEEE Transactions on Visualization and Computer Graphics
Using Automatic Process Clustering for Design Recovery and Distributed Debugging
IEEE Transactions on Software Engineering
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Testing Strategies for Form-Based Visual Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Interactive, visual fault localization support for end-user programmers
Journal of Visual Languages and Computing
| Hi-index | 4.10 |
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.