The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
Programming in an Interactive Environment: the ``Lisp'' Experience
ACM Computing Surveys (CSUR)
High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Lucid, a nonprocedural language with iteration
Communications of the ACM
Communications of the ACM
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The competence/performance dichotomy in programming preliminary report
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A description of path expressions by Petri nets
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Formal Description of Programming Concepts: Proceedings of the Working Conference, St. Andrews N.B. Canada, August, 1977
A Discipline of Programming
On the transfer of control between contexts
Programming Symposium, Proceedings Colloque sur la Programmation
Generalized procedure calling and content-directed invocation
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The design of a procedureless programming language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
High level operations in automatic programming
Proceedings of the ACM SIGPLAN symposium on Very high level languages
ACM '77 Proceedings of the 1977 annual conference
Lambda: The Ultimate Imperative
Lambda: The Ultimate Imperative
LAMBDA: The Ultimate Declarative
LAMBDA: The Ultimate Declarative
NUDGE, A Knowledge-Based Scheduling Program
NUDGE, A Knowledge-Based Scheduling Program
Simula Begin
Experience with KRL-O: one cycle of a knowledge representation language
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A network-based knowledge representation and its natural deduction system
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
The ML approach to the readable all-purpose language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Thoughts on the software process
ACM SIGSOFT Software Engineering Notes
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Logical composition of object-oriented interfaces
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Knowledge engineering for software design
ACM SIGSOFT Software Engineering Notes
Rigi-A system for programming-in-the-large
ICSE '88 Proceedings of the 10th international conference on Software engineering
The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Versatile visual programming environment for scientific applications
SIGSMALL '91 Proceedings of the 1991 ACM SIGSMALL/PC symposium on Small systems
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Python compiler for CMU Common Lisp
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Versatile visual programming environment for scientific applications
ACM SIGSMALL/PC Notes
Systems analysis: a systemic analysis of a conceptual model
Communications of the ACM
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Communications of the ACM
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Some philosophic foundations for an environment for system building
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
The computational metaphor and quantum physics
Communications of the ACM
TRIAD: beyond isolated systems for development-in-the-large and programming-in-the-small
ACM SIGSOFT Software Engineering Notes
The use of a relational data base in method driven environments
ACM SIGSOFT Software Engineering Notes
Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
A high-level approach to computer document formatting
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Unified dialogue management in the carousel system
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Temporal Framework for Database Specification and Verification
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
A Data Modeling Approach to Simplify the Design of User Interfaces
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Formes: An object and time oriented system for music composition and synthesis
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
An extension to algebraic specifications to incorporate state behavior
ACM '79 Proceedings of the 1979 annual conference
To be, or not to be: is that the question?
ACM SIGSIM Simulation Digest
Some Ontological Remarks about Music Composition Processes
Computer Music Journal
Implementing a practical declarative logic-based model transformation engine
Proceedings of the 2007 ACM symposium on Applied computing
Construction kits and design environments: steps toward human problem-domain communication
Human-Computer Interaction
Challenges and requirements for new application generators
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Towards an integrated development environment
IBM Systems Journal
IBM Journal of Research and Development
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Effective design and use of computer decision models
MIS Quarterly
Design of an arabic programming language (ARABLAN)
Computer Languages
| Hi-index | 48.27 |
As computer technology matures, our growing ability to create large systems is leading to basic changes in the nature of programming. Current programming language concepts will not be adequate for building and maintaining systems of the complexity called for by the tasks we attempt. Just as high level languages enabled the programmer to escape from the intricacies of a machine's order code, higher level programming systems can provide the means to understand and manipulate complex systems and components. In order to develop such systems, we need to shift our attention away from the detailed specification of algorithms, towards the description of the properties of the packages and objects with which we build. This paper analyzes some of the shortcomings of programming languages as they now exist, and lays out some possible directions for future research.