{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T13:53:27Z","timestamp":1718373207770},"reference-count":62,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4441,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0661(04)80924-1","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"132-156","source":"Crossref","is-referenced-by-count":3,"title":["Prological Language Processing"],"prefix":"10.1016","volume":"44","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[]},{"given":"G\u00fcnter","family":"Riedewald","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB1","unstructured":"H. Abramson. Definite Clause Translation Grammars. In Proc. International Symposium on Logic Programming, pages 233\u2013241, Atlantic City, 1984. IEEE, Computer Society Press."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB2","unstructured":"H. Abramson. Towards an Expert System for Compiler Writing. Technical Report TR 87-33, University of British Columbia, Department of Computer Science, 1987."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB3","series-title":"Proc. International Workshop on Rewriting Logic and its Applications, volume 15 of Electronic Notes in Theoretical Computer Science","article-title":"An overview of ELAN","author":"Borovansk\u00fd","year":"1998"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB4","doi-asserted-by":"crossref","unstructured":"P. Borras, D. Clement, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. In Proc. SIGSOFT '88, Boston, USA, 1988.","DOI":"10.1145\/64135.65005"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB5","unstructured":"A. Bowers. Effective Meta-programming in Declarative Languages. PhD thesis, Department of Computer Science, University of Bristol, January 1998."},{"issue":"3","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB6","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0743-1066(96)00144-6","article-title":"Directional Types and the Annotation Method","volume":"33","author":"Boye","year":"1997","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB7","first-page":"225","article-title":"Modular Logic Programming","volume":"16","author":"Brogi","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB8","doi-asserted-by":"crossref","unstructured":"B.R. Bryant and A. Pan. Rapid Prototyping of Programming Language Semantics Using Prolog. In Proc. IEEE COMPSAC '89, pages 439\u2013446, Orlanto, Florida, 1989.","DOI":"10.1109\/CMPSAC.1989.65123"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB9","unstructured":"S. B\u00fcnnig. Entwicklung einer Sprache zur Unterst\u00fctzung von Design Patterns und Implementierung eines zugeh\u00f6rigen Compilers. Master's thesis, University of Rostock, Department of Computer Science, July 1999."},{"issue":"2","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/22719.22946","article-title":"Parsing and Compiling Using Prolog","volume":"9","author":"Cohen","year":"1987","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB11","series-title":"Logic Grammars","author":"Dahl","year":"1989"},{"issue":"2","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/52.73749","article-title":"Test-case generation from Prolog-based specifications","volume":"8","author":"Denney","year":"1991","journal-title":"IEEE Software"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB13","series-title":"Programming Languages Implementation and Logic Programming, Proc. International Workshop PLILP '88, Orleans, France, number 348 in LNCS","year":"1989"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB14","series-title":"A Grammatical View of Logic Programming","author":"Deransart","year":"1993"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB15","unstructured":"T. Despeyroux. Typol: A formalism to implement natural semantics. Technical report 94, INRIA, March 1988."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB16","doi-asserted-by":"crossref","unstructured":"A. Dittmar and P. Forbrig. Methodological and Tool Support for a Task-Oriented Development of Interactive Systems. In J. Vanderdonckt and A. Puerta, editors, Proc. Third International Conference on Computer-Aided Design of User Interfaces, Louvain-la-Neuve, pages 271\u2013274. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-94-011-4295-3_22"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB17","unstructured":"P. Forbrig, and R. L\u00e4mmel. Programming Design Patterns. In Proc. TOOLS-USA 2000. IEEE, 2000."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB18","unstructured":"J.E.L. Gayo. LPS\u2013-a Language Prototyping System, 2000. http:\/\/lsi.uniovi.es\/~labra\/LPS\/LPS.html."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB19","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/129630.129637","article-title":"A Complete, Flexible Compiler Construction System","author":"Gray","year":"1992","journal-title":"Communications of the ACM 35"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB20","doi-asserted-by":"crossref","unstructured":"J. Grosch and H. Emmelmann. A Tool Box for Compiler Construction. In Proc. CC'90, 1990.","DOI":"10.1007\/3-540-53669-8_77"},{"issue":"3","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB21","article-title":"Two-dimensional Approximation Coverage","volume":"24","author":"Harm","year":"2000","journal-title":"Informatica"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB22","unstructured":"J. Harm, R. L\u00e4mmel, and G. Riedewald. The Language Development Laboratory (\u039b\u0394\u039b). In M. Haveraaen and O. Owe, editors, Selected papers from the 8th Nordic Workshop on Programming Theory, December 4-6, Oslo, Norway, Research Report 248, ISBN 82-7368-163-7, pages 77\u201386, May 1997."},{"issue":"3","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/351159.351173","article-title":"Semantics of programming languages: A tool-oriented approach","volume":"35","author":"Heering","year":"2000","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB24","doi-asserted-by":"crossref","unstructured":"P.R. Henriques. A semantic evaluator generating system in prolog. In Deransart et al. [13], pages 201\u2013218.","DOI":"10.1007\/3-540-50820-1_49"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB25","series-title":"The G\u00f6del Programming Language","author":"Hill","year":"1994"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB26","series-title":"Number 10 in Programming Complex Systems","article-title":"Software Testing for Conventional and Logic Programming","author":"Jack","year":"1996"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB27","series-title":"Conf. on Programming Languages Design and Implementation","first-page":"209","article-title":"Design, implementation and evaluation of the FNC-2 attribute grammar system","author":"Jourdan","year":"1990"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB28","unstructured":"T. Kiaupat. Automatisierte Generierung von Benutzungsschnittstellen. Master's thesis, University of Rostock, Department of Computer Science, 1999."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB29","unstructured":"M. Kirschenbaum, S. Michaylov, and L.S. Sterling. Skeletons and Techniques as a Normative Approach to Program Development in Logic-Based Languages. In Proc. ACSC'96, Australian Computer Science Communications, 18(1), pages 516\u2013524, 1996."},{"issue":"2","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB30","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1145\/151257.151260","article-title":"A meta-environment for generating programming environments","volume":"2","author":"Klint","year":"1993","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB31","series-title":"Object-Oriented Environments: The Mj\u00f8lner Approach","author":"Knudsen","year":"1994"},{"issue":"2","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB32","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1002\/spe.4380180202","article-title":"The Design of a Language Processor Generator","volume":"18","author":"Koskimies","year":"1988","journal-title":"Software\u2013-Practice and Experience"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB33","unstructured":"A. Lakhotia. A Workbench for Developing Logic Programs by Stepwise Enhancement. PhD thesis, Case Western Reserve University, 1989."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB34","unstructured":"R. L\u00e4mmel, Declarative aspect-oriented programming. In Olivier Danvy, editor, Proc. PEPM'99, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM'99, San Antonio (Texas), BRICS Notes Series NS-99-1, pages 131\u2013146, January 1999"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB35","first-page":"37","article-title":"Reconstruction of paradigm shifts","author":"L\u00e4mmel","year":"1999","journal-title":"Second Workshop on Attribute Grammars and their Applications"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB36","doi-asserted-by":"crossref","unstructured":"R. L\u00e4mmel, G. Riedewald, and W. Lohmann. Roles of Program Extension. In Post-workshop proceedings LOPSTR'99, volume 1817 of LNCS. Springer-Verlag, 2000.","DOI":"10.1007\/10720327_9"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB37","unstructured":"R. L\u00e4mmel, J. Visser, and J. Kort. Dealing with Large Bananas. In Johan Jeuring, editor, Proc. WGP'2000, Technical Report, Universiteit Utrecht, pages 46\u201359, July 2000. available at http:\/\/www.cwi.nl\/~ralf\/."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB38","doi-asserted-by":"crossref","unstructured":"S. Liang, P. Hudak, and M.P. Jones. Monad transformers and modular interpreters. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 333\u2013343, San Francisco, California, January 1995.","DOI":"10.1145\/199448.199528"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB39","doi-asserted-by":"crossref","unstructured":"E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Proc. FPCA'91, volume 523 of LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_7"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB40","series-title":"Number 26 in Cambridge Tracts in Theoretical Computer Science","article-title":"Action Semantics","author":"Mosses","year":"1992"},{"issue":"3","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB41","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","article-title":"A polymorphic type system for PROLOG","volume":"23","author":"Mycroft","year":"1984","journal-title":"ARTIF. INTELL. (NETHERLANDS) ISSN: 0004-3702"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB42","unstructured":"L. Naish. Higher Order Logic Programming in Prolog. In Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP'96, Bonn, 1996."},{"issue":"8","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB43","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/47907.47913","article-title":"A note on the speed of prolog","volume":"23","author":"Paakki","year":"1988","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB44","unstructured":"J. Paakki. A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. In David H. D. Warren and Peter Szeredi, editors, Proc. 7th International Conference on Logic Programming, pages 203\u2013217. The MIT Press, 1990."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB45","series-title":"Compiler Compilers, Third International Workshop on Compiler Construction, volume 477 of LNCS","first-page":"224","article-title":"A practical implementation of DCGs (abstract)","author":"Paakki","year":"1990"},{"issue":"1","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB46","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1093\/comjnl\/34.1.64","article-title":"Prolog in Practical Compiler Writing","volume":"34","author":"Paakki","year":"1991","journal-title":"The Computer Journal"},{"issue":"3","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB47","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","article-title":"Definite Clause Grammars for Language Analysis\u2013A Survey of the Formalism and a Comparison with Augmented Transition Networks","volume":"13","author":"Pereira","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB48","doi-asserted-by":"crossref","unstructured":"U.F. Pleban. Compiler prototyping using formal semantics. In Proc. SIGPLAN '84 Symposium on Compiler Construction, pages 94\u2013105. ACM, ACM, 1984.","DOI":"10.1145\/502874.502883"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB49","unstructured":"ISO Prolog Standard, 1995. http:\/\/www.logic-programming.org\/prolog_std.html"},{"issue":"3","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB50","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01932308","article-title":"A sentence generator for testing parsers","volume":"12","author":"Purdom","year":"1972","journal-title":"BIT"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB51","unstructured":"G. Riedewald. Compilerkonstruktion und Grammatiken syntaktischer Funktionen. Dissertation B, Rechenzentrum der Universit\u00e4t Rostock, 1979."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB52","unstructured":"G. Riedewald. The LDL - Language Development Laboratory. Preprint CS-01-91, University of Rostock, Department of Computer Science, December 1991."},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB53","doi-asserted-by":"crossref","unstructured":"G. Riedewald. The LDL\u2013Language Development Laboratory. In U. Kastens and P. Pfahler, editors, Compiler Construction, 4th International Conference, CC'92, Paderborn, Germany, number 641 in LNCS, pages 88\u201394, October 1992.","DOI":"10.1007\/3-540-55984-1_10"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB54","doi-asserted-by":"crossref","unstructured":"G. Riedewald, and U. L\u00e4mmel. Using an attribute grammar as a logic program. In Deransart et al. [13], pages 161\u2013179.","DOI":"10.1007\/3-540-50820-1_47"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB55","series-title":"Formal Syntax and Semantics \u2013- A Laboratory Based Approach","author":"Slonneger","year":"1995"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB56","series-title":"The Art of Prolog","author":"Sterling","year":"1994"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB57","series-title":"ATPS 99, number 258 in Informatik-Berichte","first-page":"201","article-title":"MODEL-HS - An Approach to Specify Hybrid Systems for Symbolic Simulation","author":"Tetzner","year":"1999"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB58","series-title":"Umsetzung allgemeiner Integrit\u00e4tsbedingungen in Vor- und Nachbedingungen","author":"Tetzner","year":"1997"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB59","doi-asserted-by":"crossref","unstructured":"E. Visser, Z. Benaissa, and A. Tolmach. Building Program Optimizers with Rewriting Strategies. In International Conference on Functional Programming (ICFP'98), Baltimore, Maryland. ACM SIGPLAN, pages 13\u201326, September 1998.","DOI":"10.1145\/289423.289425"},{"issue":"2","key":"10.1016\/S1571-0661(04)80924-1_NEWBIB60","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/spe.4380100203","article-title":"Logic programming and compiler writing","volume":"10","author":"Warren","year":"1980","journal-title":"Software\u2013-Practice and Experience"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB61","series-title":"Compiler Design","author":"Wilhelm","year":"1995"},{"key":"10.1016\/S1571-0661(04)80924-1_NEWBIB62","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/S1383-7621(96)00101-4","article-title":"Automatic implementation of programming languages using object-oriented approach","volume":"43","author":"Zumer","year":"1997","journal-title":"Journal of Systems Architecture"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809241?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809241?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:10:58Z","timestamp":1585897858000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809241"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":62,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["S1571066104809241"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80924-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}