{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:13:38Z","timestamp":1767237218361},"reference-count":25,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":6419,"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":[[1996]]},"DOI":"10.1016\/s1571-0661(04)00038-6","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"149-168","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["A reflective extension of ELAN"],"prefix":"10.1016","volume":"4","author":[{"given":"H\u00e9l\u00e8ne","family":"Kirchner","sequence":"first","affiliation":[]},{"given":"Pierre-Etienne","family":"Moreau","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB1","first-page":"153","article-title":"Amalgamating language and metalanguage in logic programming. In","volume":"volume 16","author":"Bowen","year":"1982"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB2","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd, C. Kirchner, and H. Kirchner. Controlling rewriting by rewriting. In J. Meseguer, author, Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California), September 1996. Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(04)00039-8"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB3","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN: A logical framework based on computational systems. In J. Meseguer, editor, Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California), September 1996. Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(04)00032-5"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB4","unstructured":"R. L. Constable et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, Inc., Englewood Cliffs, New Jersey 07632, 1986."},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB5","unstructured":"M. G. Clavel and J. Meseguer. Axiomatizing Reflective Logics and Languages. Proceedings of Reflection'96, pages 263\u2013288. Xerox PARC, 1996."},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB6","series-title":"Handbook of Theoretical Computer Science, chapter 6","first-page":"244","article-title":"Rewrite Systems","author":"Dershowitz","year":"1990"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB7","unstructured":"F. Giunchiglia. The GETFOL manual-GETFOL version1. Technical Report 9204-01, IRST, Trento, Italy, 1992."},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB8","series-title":"Meta-Programming in Logic Programming","first-page":"123","article-title":"Reflection in constructive and non-constructive automated reasoning","author":"Giunchiglia","year":"1989"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB9","unstructured":"F. Giunchiglia and P. Traverso. A metatheory of a mechanized object theory. Technical Report 9211-24, IRST, Trento, Italy, 1992."},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB10","unstructured":"J. Harrison. Metatheory and reflection in theorem proving: A survey and critique, 1995."},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB11","doi-asserted-by":"crossref","unstructured":"J.-P. Jouannaud and H. Kirchner. Completion of a set of rules modulo a set of equations. SIAM Journal of Computing, 15(4):1155\u20131194, 1986. Preliminary version in Proceedings 11th ACM Symposium on Principles of Programming Languages, Salt Lake City (USA), 1984.","DOI":"10.1137\/0215084"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB12","series-title":"Computational Logic. Essays in honor of Alan Robinson, chapter 8","first-page":"257","article-title":"Solving equations in abstract algebras: a rule-based survey of unification","author":"Jouannaud","year":"1991"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB13","unstructured":"T. B. Knoblock and R. L. Constable. Formalized metareasoning in type theory. In Proceedings, Symposium on Logic in Computer Science, pages 237\u2013248, Cambridge, Massachusetts, 16\u201318 June 1986. IEEE Computer Society."},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB14","series-title":"Principles and Practice of Constraint Programming. The Newport Papers","first-page":"131","article-title":"Designing constraint logic programming languages using computational systems","author":"Kirchner","year":"1995"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB15","unstructured":"C. Kirchner, H. Kirchner, and M. Vittek. ELAN V 1.17 User Manual. Inria Lorraine & Crin, Nancy (France), first edition, November 1995."},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB16","doi-asserted-by":"crossref","unstructured":"H. Kirchner, and P.-E. Moreau. Prototyping completion with constraints using computational systems. In J. Hsiang, editor, Proceedings 6th Conference on Rewriting Techniques and Applications, Kaiserslautern (Germany), volume 914 of Lecture Notes in Computer Science, pages 438\u2013443. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_79"},{"issue":"4","key":"10.1016\/S1571-0661(04)00038-6_NEWBIB17","first-page":"3","article-title":"Reflective computation in term rewriting systems","volume":"12","author":"Kurihara","year":"1995","journal-title":"Computer Software"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB18","doi-asserted-by":"crossref","unstructured":"P. Maes. Concepts and experiments in computational reflection. In N. Meyrowitz, editor, Proceedings of OOPSLA'87, ACM, pages 147\u2013155. ACM, 1987. Special issue of SIGPLAN Notices, Volume 22, Number 4.","DOI":"10.1145\/38765.38821"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB19","series-title":"editor, Logic Colloquium'87","first-page":"275","article-title":"General logics","author":"Meseguer","year":"1989"},{"issue":"1","key":"10.1016\/S1571-0661(04)00038-6_NEWBIB20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB21","unstructured":"N. Marti-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. Technical report, SRI International, 1993."},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB22","doi-asserted-by":"crossref","unstructured":"F. Pfenning. Elf: A meta-language for deductive systems (system description). In A. Bundy, author, 12th International Conference on Automated Deduction, LNAI 814, pages 811\u2013815, Nancy, France, June 26\u2013July 1, 1994. Springer-Verlag.","DOI":"10.1007\/3-540-58156-1_66"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB23","doi-asserted-by":"crossref","unstructured":"P. C. Smith. Reflection and semantics in lisp. In Proceedings of the 11th Annual ACM Symposium on Principles of Programmings Languages, ACM, pages 23\u201335. ACM, 1984.","DOI":"10.1145\/800017.800513"},{"key":"10.1016\/S1571-0661(04)00038-6_NEWBIB24","unstructured":"M. Vittek. ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes. Th\u00e8se de Doctorat d'Universit\u00e9, Universit\u00e9 Henri Poincar\u00e9 \u2013 Nancy 1, October 1994."},{"issue":"13","key":"10.1016\/S1571-0661(04)00038-6_NEWBIB25","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","article-title":"Prolegomena to a theory of mechanized formal reasoning","author":"Weyhrauch","year":"1980","journal-title":"Artificial Intelligence"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000386?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000386?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T09:53:44Z","timestamp":1550224424000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104000386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":25,"alternative-id":["S1571066104000386"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00038-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1996]]}}}