Realization of a geometry-theorem proving machine
Computers & thought
Journal of the ACM (JACM)
Form and Content in Computer Science (1970 ACM turing lecture)
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Systematic Programming: An Introduction
Systematic Programming: An Introduction
PASCAL user manual and report
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Interform: a CAD system for program development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
The design tree: a visual approach to top-down design and data flow
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Full functional programming in a declarative Ada dialect
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Process clustering for distributed debugging
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Never mind the paradigm, what about multiparadigm languages?
ACM SIGCSE Bulletin
Putting more meaning in expressions
ACM SIGPLAN Notices
The Psychological Study of Programming
ACM Computing Surveys (CSUR)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Software
Using Automatic Process Clustering for Design Recovery and Distributed Debugging
IEEE Transactions on Software Engineering
Towards a Unified Programming Language
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Libraries as programs preserved within compiler continuations
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Teaching procedural literacy (Presentation Abstract)
ACM '80 Proceedings of the ACM 1980 annual conference
Effectiveness of paradigmatic approach in teaching programming
ACM '80 Proceedings of the ACM 1980 annual conference
Tool support for refactoring functional programs
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
IEEE Annals of the History of Computing
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
The history of language processor technology in IBM
IBM Journal of Research and Development
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
The craft of computer programming: lifting the veil
Futureplay '10 Proceedings of the International Academic Conference on the Future of Game Design and Technology
Computational programming technologies
Programming and Computing Software
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Refactoring functional programs
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
A new end-user composition model to empower knowledge workers to develop rich internet applications
Journal of Web Engineering
Development of the computer language classification knowledge portal
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Ontology paradigm of programming
Automatic Documentation and Mathematical Linguistics
| Hi-index | 48.22 |
Today I want to talk about the paradigms of programming, how they affect our success as designers of computer programs, how they should be taught, and how they should be embodied in our programming languages.