{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:16Z","timestamp":1725663676085},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_103","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:49:13Z","timestamp":1330210153000},"page":"243-254","source":"Crossref","is-referenced-by-count":0,"title":["Profit: A system integrating logic programming and attribute grammars"],"prefix":"10.1007","author":[{"given":"Jukka","family":"Paakki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"21_CR1","unstructured":"Abramson H.: Towards an Expert System for Compiler Development. Technical Report 87-33, Department of Computer Science, University of British Columbia, 1987."},{"key":"21_CR2","unstructured":"Aho A.V., Sethi R., Ullman J.D.: Compilers\u2013Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Attali I.: Compiling Typol with Attribute Grammars. In: [PLI88], 252\u2013272.","DOI":"10.1007\/3-540-50820-1_51"},{"issue":"2","key":"21_CR4","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/359997.359999","volume":"19","author":"G.V. Bochmann","year":"1976","unstructured":"Bochmann G.V.: Semantic Evaluation from Left to Right. Communications of the ACM 19, 2, 1976, 55\u201362.","journal-title":"Communications of the ACM"},{"key":"21_CR5","unstructured":"Brinch Hansen P.: Programming a Personal Computer. Prentice-Hall, 1982."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Bryant B.R., Pan A.: Rapid Prototyping of Programming Language Semantics Using Prolog. In: Proc. of IEEE COMPSAC '89, Orlando, Florida, 1989, 439\u2013446.","DOI":"10.1109\/CMPSAC.1989.65123"},{"issue":"2","key":"21_CR7","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/22719.22946","volume":"9","author":"J. Cohen","year":"1987","unstructured":"Cohen J. Hickey T.J.: Parsing and Compiling Using Prolog. ACM Transactions on Programming Languages and Systems 9, 2, 1987, 125\u2013163.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR8","unstructured":"DeGroot D., Lindstrom G.: Logic Programming \u2014 Functions, Relations, and Equations. Prentice-Hall, 1986."},{"issue":"2","key":"21_CR9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"Deransart P., Maluszynski J.: Relating Logic Programs and Attribute Grammars. Journal of Logic Programming 2, 2, 1985, 119\u2013155.","journal-title":"Journal of Logic Programming"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Deransart P., Maluszynski J.: A Grammatical View of Logic Programming. In: [PLI88], 219\u2013251.","DOI":"10.1007\/3-540-50820-1_50"},{"key":"21_CR11","unstructured":"Deransart P., Jourdan M., Lorho B.: Attribute Grammars \u2014 Definitions, Systems and Bibliography. Lecture Notes in Computer Science 323, Springer-Verlag, 1988."},{"key":"21_CR12","unstructured":"Drabent W.: Do Logic Programs Resemble Programs in Conventional Languages? In: Proc. of the 1987 IEEE Symposium on Logic Programming, San Francisco, California, 389\u2013396."},{"issue":"4","key":"21_CR13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0743-1066(87)90006-9","volume":"4","author":"M.H. Emden van","year":"1987","unstructured":"van Emden M.H., Yukawa K.: Logic Programming with Equations. Journal of Logic Programming 4, 4, 1987, 265\u2013288.","journal-title":"Journal of Logic Programming"},{"key":"21_CR14","unstructured":"Goguen J.A., Meseguer J.: EQLOG: Equations, Types and Generic Modules for Logic Programming. In: [DeL86], 295\u2013363."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Henriques P.R.: A Semantic Evaluator Generating System in Prolog. In: [PLI88], 201\u2013218.","DOI":"10.1007\/3-540-50820-1_49"},{"key":"21_CR16","unstructured":"Joy W.N., Graham S.L., Haley C.B., McKusick M.K., Kessler P.B.: Berkeley Pascal User's Manual, Version 3.0. Computer Science Division, Department of Electrical Engineering and Computer Science, University of Berkeley, 1983."},{"key":"21_CR17","unstructured":"Kastens U., Hutt B., Zimmermann E.: GAG: A Practical Compiler Generator. Lecture Notes in Computer Science 141, Springer-Verlag, 1982."},{"issue":"11","key":"21_CR18","doi-asserted-by":"crossref","first-page":"1015","DOI":"10.1002\/spe.4380191102","volume":"19","author":"E. Klein","year":"1989","unstructured":"Klein E., Martin M.: The Parser Generating System PGS. Software \u2014 Practice and Experience 19, 11, 1989, 1015\u20131028.","journal-title":"Software \u2014 Practice and Experience"},{"key":"21_CR19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth D.E.: Semantics of Context-Free Languages. Math. Systems Theory 2, 1968, 127\u2013145.","journal-title":"Math. Systems Theory"},{"key":"21_CR20","unstructured":"Koster C.H.A.: Affix Grammars. In: Algol68 Implementation (J.E.Peck, ed.), North-Holland, 1971, 95\u2013109."},{"issue":"3","key":"21_CR21","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/S0022-0000(74)80045-0","volume":"9","author":"P.M. Lewis","year":"1974","unstructured":"Lewis P.M., Rosenkrantz D.J., Stearns R.E.: Attributed Translations. Journal of Computer and System Sciences 9, 3, 1974, 279\u2013307.","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Monin J.-F.: A Compiler Written in Prolog: The V\u00e9da Experience. In: [PLI88], 119\u2013131.","DOI":"10.1007\/3-540-50820-1_44"},{"key":"21_CR23","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF03037421","volume":"1","author":"Y. Matsumoto","year":"1983","unstructured":"Matsumoto Y., Tanaka H., Hirakawa H., Miyoshi H., Yasukawa H.: BUP: A Bottom-Up Parser Embedded in Prolog. New Generation Computing 1, 1983, 145\u2013158.","journal-title":"New Generation Computing"},{"key":"21_CR24","unstructured":"Narain A.: A Technique for Doing Lazy Evaluation in Logic. In: Proc. of the 1985 IEEE Symposium on Logic Programming, Boston, Massachusetts, 261\u2013269."},{"issue":"2","key":"21_CR25","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/BF03037391","volume":"4","author":"U. Nilsson","year":"1986","unstructured":"Nilsson U.: Alternative Implementation of DCGs. New Generation Computing 4, 2, 1986, 383\u2013399.","journal-title":"New Generation Computing"},{"key":"21_CR26","unstructured":"Nyk\u00e4nen M.: Implementing Functional Prolog Terms (in Finnish). Report C-1990-17, Department of Computer Science, University of Helsinki, 1990."},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"O'Donnell M.J.: Equational Logic as a Programming Language. The MIT Press, 1985.","DOI":"10.1007\/3-540-15648-8_20"},{"key":"21_CR28","unstructured":"Paakki J.: A Prolog-Based Compiler Writing Tool. In: Proc. of the Workshop on Compiler Compiler and High Speed Compilation, Berlin (GDR), 1988. Report 3\/1989, Academy of the Sciences of the GDR, 1989, 107\u2013117."},{"key":"21_CR29","unstructured":"Paakki J.: A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. In: Proc. of the 7th Int. Conference on Logic Programming (D.H.D.Warren, P.Szeredi, eds.), Jerusalem, 1990. The MIT Press, 1990, 203\u2013217."},{"key":"21_CR30","unstructured":"Paakki J.: A Practical Implementation of DCGs. In: Proc. of the Third Int. Workshop on Compiler Compilers, Schwerin, 1990. Report 8\/1990, Akademie der Wissenschaften der DDR, 1990, 249\u2013257."},{"key":"21_CR31","unstructured":"Paakki J.: Paradigms for Attribute-Grammar-Based Language Implementation. Report A-1991-1, Department of Computer Science, University of Helsinki, 1991."},{"issue":"1","key":"21_CR32","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1093\/comjnl\/34.1.64","volume":"34","author":"J. Paakki","year":"1991","unstructured":"Paakki J.: Prolog in Practical Compiler Writing. The Computer Journal 34, 1, 1991, 64\u201372.","journal-title":"The Computer Journal"},{"issue":"3","key":"21_CR33","first-page":"211","volume":"9","author":"J. Paakki","year":"1990","unstructured":"Paakki J., Toppola K.: An Error-Recovering Form of DCGs. Acta Cybernetica 9, 3, 1990, 211\u2013221.","journal-title":"Acta Cybernetica"},{"key":"21_CR34","unstructured":"Pereira F. (ed.): C-Prolog User's Manual, Version 1.5. EdCAAD, Department of Architecture, University of Edinburgh, 1984."},{"key":"21_CR35","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F.C.N. Pereira","year":"1980","unstructured":"Pereira F.C.N., Warren D.H.D.: Definite Clause Grammars for Language Analysis \u2014 A Survey of the Formalism and a Comparison with Augmented Transition Networks. Artificial Intelligence 13, 1980, 231\u2013278.","journal-title":"Artificial Intelligence"},{"key":"21_CR36","unstructured":"Proc. of the Int. Workshop on Programming Languages Implementation and Logic Programming (PLILP '88), Orl\u00e9ans, 1988. Lecture Notes in Computer Science 348 (P.Deransart, B.Lorho, J.Maluszynski, eds.), Springer-Verlag, 1989."},{"key":"21_CR37","unstructured":"P\u00f6ys\u00e4 K.: Extending Prolog with Functional Features (in Finnish). Report C-1989-71, Department of Computer Science, University of Helsinki, 1989."},{"key":"21_CR38","unstructured":"Quintus Computer Systems Inc.: Quintus Prolog Reference Manual, Version 6, 1986."},{"key":"21_CR39","doi-asserted-by":"crossref","unstructured":"Riedewald G., L\u00e4mmel U.: Using an Attribute Grammar as a Logic Program. In: [PLI88], 161\u2013179.","DOI":"10.1007\/3-540-50820-1_47"},{"key":"21_CR40","doi-asserted-by":"crossref","unstructured":"Shaw M.: Prospects for an Engineering Discipline of Software. IEEE Software, Nov. 1990, 15\u201324.","DOI":"10.1109\/52.60586"},{"key":"21_CR41","unstructured":"Sterling L., Shapiro E.: The Art of Prolog. The MIT Press, 1986."},{"key":"21_CR42","unstructured":"Subrahmanyam P.A., You J.-H.: FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. In: [DeL86], 157\u2013198."},{"key":"21_CR43","doi-asserted-by":"crossref","unstructured":"Waite W.M., Goos G.: Compiler Construction. Springer-Verlag, 1984.","DOI":"10.1007\/978-1-4612-5192-7"},{"issue":"2","key":"21_CR44","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1093\/comjnl\/26.2.142","volume":"26","author":"D.A. Watt","year":"1983","unstructured":"Watt D.A., Madsen O.L.: Extended Attribute Grammars. The Computer Journal 26, 2, 1983, 142\u2013153.","journal-title":"The Computer Journal"},{"issue":"2","key":"21_CR45","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/spe.4380100203","volume":"10","author":"D.H.D. Warren","year":"1980","unstructured":"Warren D.H.D.: Logic Programming and Compiler Writing. Software \u2014 Practice and Experience 10, 2, 1980, 97\u2013125.","journal-title":"Software \u2014 Practice and Experience"},{"key":"21_CR46","unstructured":"Welsh J., McKeag M.: Structured System Programming. Prentice-Hall, 1980."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_103.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:30Z","timestamp":1605646470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}