{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T19:53:17Z","timestamp":1672516397889},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1974,6,1]],"date-time":"1974-06-01T00:00:00Z","timestamp":139276800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1974,6]]},"DOI":"10.1007\/bf01762181","type":"journal-article","created":{"date-parts":[[2005,6,15]],"date-time":"2005-06-15T19:23:54Z","timestamp":1118863434000},"page":"105-126","source":"Crossref","is-referenced-by-count":7,"title":["Semantic preserving translations"],"prefix":"10.1007","volume":"8","author":[{"given":"David B.","family":"Benson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01762181_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0022-0000(69)80006-1","volume":"3","author":"A. V. Aho","year":"1969","unstructured":"A. V. Aho andJ. D. Ullman, Syntax directed translations and the pushdown assembler,J. Comp. System Sci. 3 (1969), 37\u201356.","journal-title":"J. Comp. System Sci."},{"key":"BF01762181_CR2","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0022-0000(69)80018-8","volume":"3","author":"A. V. Aho","year":"1969","unstructured":"A. V. Aho andJ. D. Ullman, Properties of syntax directed translations,J. Comp. System Sci. 3 (1969), 319\u2013334.","journal-title":"J. Comp. System Sci."},{"key":"BF01762181_CR3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/S0019-9958(70)90517-6","volume":"17","author":"D. B. Benson","year":"1970","unstructured":"D. B. Benson, Syntax and semantics: a categorical view,Information and Control 17 (1970), 145\u2013160.","journal-title":"Information and Control"},{"key":"BF01762181_CR4","unstructured":"R. M. Burstall andP. J. Landin, Programs and their proofs: an algebraic approach,Machine Intelligence 4, American Elsevier, 1969."},{"key":"BF01762181_CR5","volume-title":"Universal Algebra","author":"P. M. Cohn","year":"1965","unstructured":"P. M. Cohn,Universal Algebra, Harper and Row, New York, 1965."},{"key":"BF01762181_CR6","volume-title":"Formal Language Description Languages","author":"K. Culik","year":"1966","unstructured":"K. Culik, Well-translatable grammars andAlgol-like languages, inFormal Language Description Languages (T. B. Steel, Ed.), North-Holland, Amsterdam, 1966."},{"key":"BF01762181_CR7","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1016\/S0019-9958(67)90670-5","volume":"11","author":"S. Eilenberg","year":"1967","unstructured":"S. Eilenberg andJ. B. Wright, Automata in general algebras,Information and Control 11 (1967), 452\u2013470.","journal-title":"Information and Control"},{"key":"BF01762181_CR8","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/S0019-9958(68)90178-2","volume":"12","author":"T. V. Griffiths","year":"1968","unstructured":"T. V. Griffiths, Some remarks on derivations in general rewriting systems,Information and Control 12 (1968), 27\u201354.","journal-title":"Information and Control"},{"key":"BF01762181_CR9","first-page":"235","volume":"2","author":"G. Hotz","year":"1966","unstructured":"G. Hotz, Eindeutigkeit und Mehrdeutigkeit formaler Sprachen,Elektron. Informationsarbeit. Kybernetik 2 (1966), 235\u2013247.","journal-title":"Elektron. Informationsarbeit. Kybernetik"},{"key":"BF01762181_CR10","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/366062.366083","volume":"4","author":"E. T. Irons","year":"1961","unstructured":"E. T. Irons, A syntax directed compiler for ALGOL 60,Comm. ACM 4 (1961), 51\u201355.","journal-title":"Comm. ACM"},{"key":"BF01762181_CR11","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"D. E. Knuth, Semantics of context-free languages,Math. Systems Theory 2 (1968), 127\u2013145.","journal-title":"Math. Systems Theory"},{"key":"BF01762181_CR12","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"F. W. Lawvere, Functorial semantics of algebraic theories,Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 869\u2013872.","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"BF01762181_CR13","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1145\/321466.321477","volume":"15","author":"P. M. Lewis","year":"1968","unstructured":"P. M. Lewis andR. E. Stearns, Syntax directed transduction,J. Assoc. Comput. Mach. 15 (1968), 465\u2013488.","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF01762181_CR14","volume-title":"Algebra","author":"S. MacLane","year":"1967","unstructured":"S. MacLane andG. Birkhoff,Algebra, MacMillan, New York, 1967."},{"key":"BF01762181_CR15","volume-title":"Categories and Functors","author":"B. Pareigis","year":"1970","unstructured":"B. Pareigis,Categories and Functors, Academic Press, New York, 1970."},{"key":"BF01762181_CR16","first-page":"590","volume":"2","author":"L. Petrone","year":"1965","unstructured":"L. Petrone, Syntactic mappings of context-free languages,Proc. IFIP Congress 2 (1965), 590\u2013591.","journal-title":"Proc. IFIP Congress"},{"key":"BF01762181_CR17","first-page":"155","volume-title":"Conf. Record ACM Symp. Theory Comp.","author":"C. D. Shepard","year":"1969","unstructured":"C. D. Shepard, Languages in general algebras,Conf. Record ACM Symp. Theory Comp., ACM, New York, 1969, 155\u2013163."},{"key":"BF01762181_CR18","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1016\/S0019-9958(69)90072-2","volume":"14","author":"C. P. Schnorr","year":"1969","unstructured":"C. P. Schnorr, Transformational classes of grammars,Information and Control 14 (1969), 252\u2013277.","journal-title":"Information and Control"},{"key":"BF01762181_CR19","first-page":"27","volume":"5","author":"C. P. Schnorr","year":"1969","unstructured":"C. P. Schnorr andH. Walter, Pullbackkonstruktionen bei Semi-Thuesystemen,Elektron. Informationsarbeit. Kybernetik 5 (1969), 27\u201336.","journal-title":"Elektron. Informationsarbeit. Kybernetik"},{"key":"BF01762181_CR20","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0022-0000(67)80022-9","volume":"1","author":"J. W. Thatcher","year":"1967","unstructured":"J. W. Thatcher, Characterizing derivation trees of context-free grammars through a generalization of finite automata theory,J. Comp. System Sci. 1 (1967), 317\u2013322.","journal-title":"J. Comp. System Sci."},{"key":"BF01762181_CR21","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/S0022-0000(70)80017-4","volume":"4","author":"J. W. Thatcher","year":"1970","unstructured":"J. W. Thatcher, Generalized2 sequential machine maps,J. Comp. System Sci. 4 (1970), 339\u2013367.","journal-title":"J. Comp. System Sci."},{"key":"BF01762181_CR22","first-page":"349","volume-title":"English for the computer,AFIPS Conf. Proc. 29","author":"F. B. Thompson","year":"1966","unstructured":"F. B. Thompson, English for the computer,AFIPS Conf. Proc. 29, FJCC, Spartan Books, Washington D.C., 1966, 349\u2013356."},{"key":"BF01762181_CR23","first-page":"239","volume":"6","author":"H. Walter","year":"1970","unstructured":"H. Walter, Verallgemeinerte Pullbackkonstruktionen bei Semi-Thuesystemen und Grammatiken,Elektron. Informationsarbeit. Kybernetik 6 (1970), 239\u2013254.","journal-title":"Elektron. Informationsarbeit. Kybernetik"},{"key":"BF01762181_CR24","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/365153.365162","volume":"9","author":"N. Wirth","year":"1966","unstructured":"N. Wirth andH. Weber, EULER: A generalization of ALGOL and its formal definition: Part I,Comm. ACM 9 (1966), 13\u201323.","journal-title":"Comm. ACM"}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01762181.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01762181\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01762181","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T16:41:44Z","timestamp":1557333704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01762181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,6]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1974,6]]}},"alternative-id":["BF01762181"],"URL":"https:\/\/doi.org\/10.1007\/bf01762181","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1974,6]]}}}