{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:22:54Z","timestamp":1694625774726},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2000,10]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>In this paper we present the motivation, theory and transformations of our semantics-directed compiler generator. The main novelty of our generator is that it generates compilers and abstract machines. The execution times of the abstract machine programs produced by our generated compiler compare well to those of target programs produced by compilers generated by other semantics-directed generators. The generated specifications of compilers and abstract machines are suitable as a starting point for handwriting compilers and abstract machines. Our generator is fully automated and its core transformations are proved correct.<\/jats:p>","DOI":"10.1007\/pl00003929","type":"journal-article","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T14:51:35Z","timestamp":1140187895000},"page":"71-99","source":"Crossref","is-referenced-by-count":4,"title":["Natural Semantics-Directed Generation of Compilers and Abstract Machines"],"prefix":"10.1145","volume":"12","author":[{"given":"Stephan","family":"Diehl","sequence":"first","affiliation":[{"name":"Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany, , , , , , DE"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","volume-title":"Handbook of Mathematical Logic. North-Holland","author":"Aczel P.","year":"1977"},{"key":"p_2","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"1986"},{"key":"p_3","volume-title":"The Theory of Parsing, Translation and Compiling","author":"Aho A. V.","year":"1972"},{"key":"p_4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine: A Tutorial Reconstruction","author":"At-Kaci H.","year":"1991"},{"key":"p_5","volume-title":"Formal Description of Programming Concepts","author":"Astesiano E.","year":"1991"},{"key":"p_8","volume-title":"International Symposium on LISP and Functional Programming","author":"Cardelli L.","year":"1984"},{"key":"p_9","volume-title":"Proceedings of Conference on Functional Programming Languages and Computer Architecture FPCA'85","volume":"201","author":"Cousineau G.","year":"1985"},{"key":"p_10","volume-title":"Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages POPL'82","author":"Damas L.","year":"1982"},{"key":"p_13","volume-title":"Proceedings of International Symposium on Semantics of Data Types","volume":"173","author":"Despeyroux T.","year":"1984"},{"key":"p_14","volume-title":"Proceedings of the Symposium on Logic in Computer Science LICS '86","author":"Despeyroux J.","year":"1986"},{"key":"p_16","volume-title":"An experiment in abstract machine design. Software - Practice and Experience, 27(1): 49-62","author":"Diehl S.","year":"1997"},{"key":"p_17","first-page":"43","volume-title":"Proceedings of VIII International Conference on Logic and Computer Science LIRA'97","author":"Diehl S.","year":"1997"},{"key":"p_18","volume-title":"AS'99","author":"Diehl S.","year":"1999"},{"key":"p_19","first-page":"125","volume-title":"Science of Computer Programming","volume":"38","author":"Diehl S.","year":"2000"},{"key":"p_20","volume-title":"Future Generation Computer Systems","volume":"751","author":"Diehl S. Hartel","year":"1999"},{"issue":"5","key":"p_21","first-page":"45","article-title":"Partial evaluation of computation process: An approach to a compiler-compiler. Systems, Computers","volume":"2","author":"Futamura Y.","year":"1971","journal-title":"Controls"},{"issue":"4","key":"p_22","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1145\/183432.183458","article-title":"Operational semantics-directed compilers and machine architectures","volume":"16","author":"Hannan J.","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems TOPLAS"},{"issue":"4","key":"p_23","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","article-title":"Confluent reductions: Abstract properties and applications to term rewriting systems","volume":"27","author":"Huet G.","year":"1980","journal-title":"Journal of the ACM"},{"key":"p_24","volume-title":"PLDI'92","author":"Jaffar J.","year":"1992"},{"key":"p_25","volume-title":"Partial Evaluation and Automatic Program Generation","author":"Jones N. D.","year":"1993"},{"key":"p_26","volume-title":"CC'84","author":"Johnson T.","year":"1984"},{"key":"p_27","volume-title":"H. Comon and J.-P","author":"Jouannaud J.-P.","year":"1995"},{"key":"p_28","first-page":"86","volume-title":"Thirteenth ACM Symposium on Principles of Programming Languages, St","author":"J\u00f8rring U.","year":"1986"},{"key":"p_29","first-page":"22","volume-title":"4th Annual Symposium on Theoretical Aspects of Computer Science","volume":"247","author":"Kahn G.","year":"1987"},{"key":"p_30","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-16492-8_70","volume-title":"Proceedings of Third International Conference on Logic Programming","author":"Kursawe P.","year":"1986"},{"issue":"4","key":"p_31","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 P. J.","year":"1964","journal-title":"Computer Journal"},{"key":"p_32","volume-title":"Realistic Compiler Generation","author":"Lee P.","year":"1989"},{"key":"p_33","volume-title":": Design of Compilers: Techniques of Programming Language Translation","author":"Lemone K. A.","year":"1992"},{"key":"p_34","volume-title":"Elements of the Theory of Computation","author":"Lewis H. R.","year":"1981"},{"key":"p_35","volume-title":"J","author":"Lloyd","year":"1987","edition":"2"},{"key":"p_36","volume-title":"Proceedings of the 1st Workshop on Action Semantics, BRICS-NS-94-1","author":"McKeever S.","year":"1994"},{"key":"p_37","volume-title":"7th International Symposium, PLILP'95","volume":"982","author":"Mehl M.","year":"1995"},{"key":"p_38","volume-title":"The Definition of Standard ML","author":"Milner R.","year":"1990"},{"key":"p_39","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569869","volume-title":": Action Semantics","author":"Mosses P. D.","year":"1992"},{"key":"p_41","volume-title":"Proceedings of 6th International Workshop on Languages and Compilers for Parallel Computing CC'94","volume":"768","author":"Moura H.","year":"1994"},{"key":"p_42","volume-title":"PLILP'92","author":"M\u00fcck A.","year":"1992"},{"key":"p_43","volume-title":"Programs as Data Objects","author":"Nielson F.","year":"1986"},{"key":"p_44","volume-title":"Semantics with Applications - A Formal Introduction","author":"Nielson H. R.","year":"1992"},{"key":"p_45","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0743-1066(93)90026-D","article-title":"Towards a methodology for the design of abstract machines","author":"Nilsson U.","year":"1993","journal-title":"Journal of Logic Programming, 16(1,2)"},{"key":"p_46","volume-title":"Ellis Horwood","author":"Pemberton S.","year":"1982"},{"key":"p_49","volume-title":"Proceedings of Second International Symposium on Static Analysis","volume":"983","author":"Schmidt D. A.","year":"1995"},{"key":"p_50","volume-title":"Documentation of the Java Developers Kit - version 1.0 Beta","author":"Sun Microsystems","year":"1995"},{"key":"p_51","volume-title":": Implementing Prolog: Compiling predicate logic programs. D.A.I Research Report No. 40","author":"Warren D. H. D.","year":"1977"},{"key":"p_52","volume-title":"Konstruktion, Generierung","author":"Wilhelm R.","year":"1992"},{"key":"p_53","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"Winskel G.","year":"1993"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/PL00003929.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/PL00003929\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/PL00003929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:31:50Z","timestamp":1641483110000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/PL00003929"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["10.1007\/PL00003929"],"URL":"https:\/\/doi.org\/10.1007\/pl00003929","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}