{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T05:16:03Z","timestamp":1648876563972},"reference-count":28,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1967]]},"DOI":"10.1016\/s0065-2458(08)60697-x","type":"book-chapter","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T04:21:49Z","timestamp":1212121309000},"page":"189-245","source":"Crossref","is-referenced-by-count":10,"title":["Programming Languages and Computers: A Unified Metatheory"],"prefix":"10.1016","author":[{"given":"R.","family":"Narasimhan","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60697-X_bib1","unstructured":"J.W. Backus, The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference., in Inform. Process. Proc. IFIP Congr. 1959, pp. 125\u2013132, UNESCO, Paris (1960)."},{"key":"10.1016\/S0065-2458(08)60697-X_bib2","unstructured":"S.K.Basu On computation in programming languages, Computer Group Tech Tata Institute of Fundemental Research Bombay Rept. No. 1"},{"key":"10.1016\/S0065-2458(08)60697-X_bib3","series-title":"Computer Programming and Formal Systems","first-page":"100","article-title":"Programming and the theory of automata","author":"Burks","year":"1963"},{"key":"10.1016\/S0065-2458(08)60697-X_bib4","series-title":"The Structure of Language","first-page":"50","article-title":"Current issues in linguistic theory","author":"Chomsky","year":"1964"},{"key":"10.1016\/S0065-2458(08)60697-X_bib5","series-title":"Symbolic Languages in Data Processing","first-page":"237","article-title":"An attempt to unify the constituent concepts of serial program execution","author":"Dijkstra","year":"1962"},{"key":"10.1016\/S0065-2458(08)60697-X_bib6","doi-asserted-by":"crossref","unstructured":"S. Gorn, The treatment of ambiguity and paradox in mechanical languages. Proc. Symp. Pure Math. 201\u2013218 (1962).","DOI":"10.1090\/pspum\/005\/0142462"},{"key":"10.1016\/S0065-2458(08)60697-X_bib7","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/363921.363946","article-title":"Summary remarks","volume":"7","author":"Gorn","year":"1964","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60697-X_bib8_1","first-page":"51","article-title":"On the algorithmisation of mathematical problems. (Russian.)","volume":"2","author":"Kaluznin","year":"1959","journal-title":"Prob. Kibernetiki"},{"key":"10.1016\/S0065-2458(08)60697-X_bib8_2","first-page":"335","volume":"24","year":"1962","journal-title":"Math. Rev."},{"key":"10.1016\/S0065-2458(08)60697-X_bib9","series-title":"The Structure of Language","first-page":"479","article-title":"The structure of a semantic theory","author":"Katz","year":"1964"},{"key":"10.1016\/S0065-2458(08)60697-X_bib10","series-title":"An Integrated Theory of Linguistic Descriptions","author":"Katz","year":"1964"},{"key":"10.1016\/S0065-2458(08)60697-X_bib11","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/PGEC.1964.263816","article-title":"Computer interpretation of English text and picture patterns","volume":"EC-13","author":"Kirsch","year":"1964","journal-title":"IEEE Trans. Electron. Computers"},{"key":"10.1016\/S0065-2458(08)60697-X_bib12","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","article-title":"The mechanical evaluation of expressions","volume":"6","author":"Landin","year":"1964","journal-title":"Computer J."},{"key":"10.1016\/S0065-2458(08)60697-X_bib13","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","article-title":"The next seven hundred programming languages","volume":"9","author":"Landin","year":"1966","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60697-X_bib14","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1126\/science.146.3641.216","article-title":"High speed automatic analysis of biomedical pictures","volume":"146","author":"Ledley","year":"1964","journal-title":"Science"},{"key":"10.1016\/S0065-2458(08)60697-X_bib15","series-title":"Computer Programming and Formal Systems","first-page":"33","article-title":"A basis for a mathematical theory of computation","author":"McCarthy","year":"1963"},{"key":"10.1016\/S0065-2458(08)60697-X_bib16","series-title":"Towards a mathematical science of computation","first-page":"21","author":"McCarthy","year":"1963"},{"key":"10.1016\/S0065-2458(08)60697-X_bib17","series-title":"On computation in computers and in Programming languages, Digital Computer Lab","author":"Narasimhan","year":"1964"},{"key":"10.1016\/S0065-2458(08)60697-X_bib18","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1145\/365230.365258","article-title":"Syntax directed interpretation of classes of pictures","volume":"9","author":"Narasimhan","year":"1966","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60697-X_bib19","first-page":"219","article-title":"Report of the algorithmic language Algol-60","volume":"3","author":"Naur","year":"1960","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60697-X_bib20","series-title":"Symbolic Languages in Data Processing","first-page":"385","article-title":"The basic philosophy, concepts, and features of Algol","author":"Naur","year":"1962"},{"key":"10.1016\/S0065-2458(08)60697-X_bib21","first-page":"1094","article-title":"Review No. 5766","volume":"26","author":"Nerode","year":"1963","journal-title":"Math. Rev"},{"key":"10.1016\/S0065-2458(08)60697-X_bib22","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1746-8361.1958.tb01470.x","article-title":"Graphschemata und Rekursive Funktionen","volume":"12","author":"Peter","year":"1958","journal-title":"Dialectica"},{"key":"10.1016\/S0065-2458(08)60697-X_bib23","first-page":"51","volume":"7","author":"Proceedings of a working conference on mechanical language structures","year":"1964","journal-title":"Commun. Assoc. Computing Machinery"},{"key":"10.1016\/S0065-2458(08)60697-X_bib24","series-title":"Programming languages and their processors","first-page":"487","author":"Samelson","year":"1963"},{"key":"10.1016\/S0065-2458(08)60697-X_bib25","series-title":"Symbolic Languages in Data Processing","first-page":"481","article-title":"Jovial, a general algorithmic language","author":"Schwartz","year":"1962"},{"key":"10.1016\/S0065-2458(08)60697-X_bib26","unstructured":"fSymbolic Languages in Data Processing Gordon &Breach, New York, 1962"},{"key":"10.1016\/S0065-2458(08)60697-X_bib27","series-title":"Symbolic Languages in Data Processing","first-page":"391","article-title":"The description of computing processes: some observations on automatic programming and Alogl-60","author":"Woodger","year":"1962"}],"container-title":["Advances in Computers","Advances in Computers Volume 8"],"original-title":[],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T14:52:43Z","timestamp":1557586363000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S006524580860697X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1967]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60697-x","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1967]]}}}