Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Systematic Programming: An Introduction
Systematic Programming: An Introduction
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS
The debugging of computer programs
The debugging of computer programs
An integrated model for computational processes
An integrated model for computational processes
Language directed computer architecture.
Language directed computer architecture.
SYMBOL: a major departure from classic software dominated von Neumann computing systems
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
Hi-index | 0.00 |
This research note suggests that before we design hardware or software for the task of problem solving, we re-evaluate the task of problem solving in terms of the linguistic constituents which will be required and the manner in which these linguistic constituents will be combined. Utilizing the principles of composition and abstraction-to-specifics, we conclude that all data and programs might be realized in a structured format called messages. We conclude with a few preliminary thoughts and questions as to how an architecture designed for such structured operands and operators might be designed.