{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:14Z","timestamp":1762458434085,"version":"build-2065373602"},"reference-count":29,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(05)82552-6","type":"journal-article","created":{"date-parts":[[2005,5,19]],"date-time":"2005-05-19T09:46:30Z","timestamp":1116495990000},"page":"55-70","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":86,"special_numbering":"C","title":["An Overview of ELAN"],"prefix":"10.1016","volume":"15","author":[{"given":"Peter","family":"Borovansk\u00fd","sequence":"first","affiliation":[]},{"given":"Claude","family":"Kirchner","sequence":"additional","affiliation":[]},{"given":"H\u00e9l\u00e8ne","family":"Kirchner","sequence":"additional","affiliation":[]},{"given":"Pierre-Etienne","family":"Moreau","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Ringeissen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)82552-6_BIB1","unstructured":"P. Borovansk\u00fd. The Control of Rewriting: Study and Implementation of a Strategy Formalism. This volume."},{"key":"10.1016\/S1571-0661(05)82552-6_BIB2","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd. Implementation of higher-order unification based on calculus of explicit substitutions. In Proceedings of SOFSEM'95, Lecture Notes in Computer Science, pages 363--368. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60609-2_18"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB3","series-title":"Th\u00e8se de Doctorat d'Universit\u00e9, Universit\u00e9 Henri Poincar\u00e9 - Nancy 1, octobre","article-title":"Le contr\u00f4le de la r\u00e9\u00e9criture: \u00e9tude et implantation d'un formalisme de strat\u00e9gies","author":"Borovansk\u00fd","year":"1998"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB4","unstructured":"P. Borovansk\u00fd and C. Castro. Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN. This volume."},{"key":"10.1016\/S1571-0661(05)82552-6_BIB5","unstructured":"P. Borovansk\u00fd, S. Jamoussi, P.-E. Moreau, and C. Ringeissen. Handling ELAN Rewrite Programs via an Exchange Format. This volume."},{"key":"10.1016\/S1571-0661(05)82552-6_BIB6","series-title":"Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science","article-title":"Controlling Rewriting by Rewriting","author":"Borovansk\u00fd","year":"1996"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB7","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd, C. Kirchner, and H. Kirchner. Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language. In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 97, Workshops in Computing, Amsterdam, September 1997. Springer-Verlag.","DOI":"10.14236\/ewic\/AL1997.3"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB8","series-title":"The Third Fuji International Symposium on Functional and Logic Programming","first-page":"143","article-title":"A functional view of rewriting and strategies for a semantics of ELAN","author":"Borovansk\u00fd","year":"1998"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB9","series-title":"Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Asilomar","article-title":"ELAN: A logical framework based on computational systems","author":"Borovansk\u00fd, C. Kirchner, H. Kirchner","year":"1996"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB10","unstructured":"P. Borovansk\u00fd, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN V 3.0 User Manual. Inria Lorraine & Loria, Nancy (France), second edition, January 1998."},{"key":"10.1016\/S1571-0661(05)82552-6_BIB11","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd and H. Kirchner. Strategies of ELAN: meta-interpretation and partial evaluation. In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 97, Workshops in Computing, Amsterdam, September 1997. Springer-Verlag.","DOI":"10.14236\/ewic\/AL1997.2"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB12","doi-asserted-by":"crossref","unstructured":"C. Castro. Binary CSP Solving as an Inference Process. In Proceedings of the Eighth International Conference on Tools in Artificial Intelligence, ICTAI'96, Toulouse, France, pages 462--463, November 1996.","DOI":"10.1109\/TAI.1996.560786"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB13","series-title":"Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar","article-title":"Solving Binary CSP using Computational Systems","author":"Castro","year":"1996"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB14","unstructured":"C. Castro. Constraint Manipulation using Rewrite Rules and Strategies. In A. Drewery, G.-J. M. Kruijff, and R. Zuber, editors, Proceedings of the Second ESSLLI Student Session, 9th European Summer School in Logic, Language and Information, ESSLLI'97, pages 45--56, Aix-en-Provence, France, August 1997."},{"issue":"3","key":"10.1016\/S1571-0661(05)82552-6_BIB15","doi-asserted-by":"crossref","first-page":"263","DOI":"10.3233\/FI-1998-34303","article-title":"Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies","volume":"34","author":"Castro","year":"1998","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB16","doi-asserted-by":"crossref","unstructured":"T. Genet. Decidable Approximations of Sets of Descendants and Sets of Normal Forms. In Proceedings 9th Conference on Rewriting Techniques and Applications, Tsukuba (Japan), volume 1379 of Lecture Notes in Computer Science, pages 151--165. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0052368"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB17","doi-asserted-by":"crossref","unstructured":"T. Genet and I. Gnaedig. Termination Proofs using gpo Ordering Constraints. In M. Bidoit and M. Dauchet, editors, Proceedings 22nd International Colloquium on Trees in Algebra and Programming, Lille (France), volume 1214 of Lecture Notes in Computer Science, pages 249--260. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0030601"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB18","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"},{"issue":"3","key":"10.1016\/S1571-0661(05)82552-6_BIB19","doi-asserted-by":"crossref","first-page":"225","DOI":"10.3233\/FI-1998-34302","article-title":"Rule-Based Constraint Programming","volume":"34","author":"Kirchner","year":"1998","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB20","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--443. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_79"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB21","series-title":"Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar","article-title":"A reflective extension of ELAN","author":"Kirchner","year":"1996"},{"year":"1998","series-title":"Non-deterministic Computations in ELAN","author":"Kirchner","key":"10.1016\/S1571-0661(05)82552-6_BIB22"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB23","series-title":"Principles of Declarative Programming, number 1490 in Lecture Notes in Computer Science","first-page":"230","article-title":"A compiler for rewrite programs in associative-commutative theories","author":"Moreau","year":"1998"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB24","article-title":"A choice-point library for backtrack programming","author":"Moreau","year":"1998","journal-title":"JICSLP'98 Post-Conference Workshop on Implementation Technologies for Programming Languages based on Logic"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB25","doi-asserted-by":"crossref","unstructured":"P.-E. Moreau and H. Kirchner. Compilation Techniques for Associative-Commutative Normalisation. In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 91, Workshops in Computing, Amsterdam, September 1997. Springer-Verlag.","DOI":"10.14236\/ewic\/AL1997.11"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB26","doi-asserted-by":"crossref","unstructured":"C. Ringeissen. Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language. In Proceedings 8th Conference on Rewriting Techniques and Applications, Sitges (Spain), volume 1232 of Lecture Notes in Computer Science, pages 323--326. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-62950-5_81"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB27","series-title":"Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar","article-title":"Input\/Output for ELAN","author":"Viry","year":"1996"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB28","series-title":"Th\u00e8se de Doctorat d'Universit\u00e9, Universit\u00e9 Henri Poincar\u00e9 - Nancy 1, octobre","article-title":"ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes","author":"Vittek","year":"1994"},{"key":"10.1016\/S1571-0661(05)82552-6_BIB29","doi-asserted-by":"crossref","unstructured":"M. Vittek. A Compiler for Nondeterministic Term Rewriting Systems. In H. Ganzinger, editor, Proceedings 7th Conference on Rewriting Techniques and Applications, New Brunswick (New Jersey, USA), volume 1103 of Lecture Notes in Computer Science, pages 154--168. Springer-Verlag, July 1996.","DOI":"10.1007\/3-540-61464-8_50"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105825526?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105825526?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:00Z","timestamp":1761610080000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105825526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":29,"alternative-id":["S1571066105825526"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)82552-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"An Overview of ELAN","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)82552-6","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1998 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}