论文信息 - Programming Languages and Computers: A Unified Metatheory

Programming Languages and Computers: A Unified Metatheory

Publisher Summary This chapter presents a formal description of the notion of a computation carried out on a computer and to do this in such a way that certain practical problems of central importance that arise in computing activity can be stated and studied rigorously within this formalism. More specifically, the attempt is to formulate a metatheory of computation that could deal with computation in a programming language and computation in a computer within an integrated framework. This chapter discusses the existence of a wide diversity of problem areas and the need for problem-oriented languages well matched to each of these. It also describes to set up a framework within which efficient design of such languages can be undertaken in a uniform manner. This language design is related to the design of computer systems that are capable of carrying out the algorithms specified using these problem-oriented languages at each stage in a natural way.

R. Narasimhan | R. Narasimhan

[1] John McCarthy,et al. A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION 1) , 2018 .

[2] P. J. Landin. The Mechanical Evaluation of Expressions , 1964, Comput. J..

[3] R. Narasimhan,et al. Syntax-directed interpretation of classes of pictures , 1966, CACM.

[4] Arthur W. Burks. Programming and the Theory of Automata1) , 1959 .

[5] Von Rózsa Péter,et al. GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN , 1958 .

[6] R S LEDLEY,et al. HIGH-SPEED AUTOMATIC ANALYSIS OF BIOMEDICAL PICTURES. , 1964, Science.

[7] Russell A. Kirsch,et al. Computer Interpretation of English Text and Picture Patterns , 1964, IEEE Trans. Electron. Comput..

[8] P. J. Landin,et al. The next 700 programming languages , 1966, CACM.

[9] Noam Chomsky. Current Issues in Linguistic Theory , 1964 .

[10] M. Woodger. The description of computing processes: Some observations on automatic programming and ALGOL 60 , 1963 .

[11] Saul Gorn,et al. THE TREATMENT OF AMBIGUITY AND PARADOX IN MECHANICAL LANGUAGES , 1961 .

[12] J. Fodor,et al. The structure of a semantic theory , 1963 .

[13] Saul Gorn,et al. Summary remarks , 1964, CACM.

[14] John W. Backus,et al. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference , 1959, IFIP Congress.