Random-Access Stored-Program Machines, an Approach to Programming Languages
Autor: | Calvin C. Elgot, Abraham Robinson |
---|---|
Rok vydání: | 1964 |
Předmět: |
Theoretical computer science
Computer science Programming language Comparison of multi-paradigm programming languages Second-generation programming language computer.software_genre Very high-level programming language Third-generation programming language Artificial Intelligence Hardware and Architecture Control and Systems Engineering Programming paradigm Computer Science::Programming Languages Fifth-generation programming language Low-level programming language computer Software Information Systems Programming language theory |
Zdroj: | Journal of the ACM. 11:365-399 |
ISSN: | 1557-735X 0004-5411 |
DOI: | 10.1145/321239.321240 |
Popis: | A new class of machine models as a framework for the rational discussion of programming languages is introduced. In particular, a basis is provided for endowing programming languages with semantics. The notion of Random-Access Stored-Program Machine (RASP) is intended to capture some of the most salient features of the central processing unit of a modern digital computer. An instruction of such a machine is understood as a mapping from states (of the machine) into states. Some classification of instructions is introduced. It is pointed out in several theorems that programs of finitely determined instructions are properly more powerful if address modification is permitted than when it is forbidden, thereby shedding some light on the role of address modification in digital computers. The relation between problem-oriented languages (POL) and machine languages (ML) is briefly considered. |
Databáze: | OpenAIRE |
Externí odkaz: |