Communications of the ACM
Incremental polymorphic type checking in B
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An overview of the SUMMER programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PASCAL user manual and report
Interactive Programming Environments
Interactive Programming Environments
Efficient applicative data types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
The SNOBOL 4 programming language
The SNOBOL 4 programming language
Support for dynamic binding in strongly typed languages
ACM SIGPLAN Notices
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Demonic memory for process histories
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
The use of single family of languages for program development
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Conscientious programming using PMA
APL '90 Conference proceedings on APL 90: for the future
ACM SIGARCH Computer Architecture News
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Dynascope: a tool for program directing
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
History cache: hardware support for reverse execution
ACM SIGARCH Computer Architecture News
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Unison algorithm: fast evaluation of Boolean expressions
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Dynamic binding of separately compiled objects under program control
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
PROVIDE: A Process Visualization and Debugging Environment
IEEE Transactions on Software Engineering
Nesting in an Object-Oriented Language is NOT for the Birds
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Towards multi-domain collaborative toolkits
Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
Unified selection from lists, arrays, and objects
Computer Languages, Systems and Structures
| Hi-index | 0.00 |
Most programming environments are much too complex. One way of simplifying them is to reduce the number of mode-dependent languages the user has to be familiar with. As a first step towards this end, the feasibility of unified command/programming/debugging languages, and the concepts on which such languages have to be based, are investigated. The unification process is accomplished in two phases. First, a unified command/programming framework is defined and, second, this framework is extended by adding an integrated debugging capability to it. Strict rules are laid down by which to judge language concepts presenting themselves as candidates for inclusion in the framework during each phase. On the basis of these rules many of the language design questions that have hitherto been resolved this way or that, depending on the taste of the designer, lose their vagueness and can be decided in an unambiguous manner.