H ? « ‹ ← → › »

Language peer sets for Elan:
France↑
France/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑
Specialised Languages ↑
Specialised Languages/1998↑
Specialised Languages/fr ↑

Elan(ID:3458/ela003)

Constraint logic program 

alternate simple view
Country: France
Designed 1998
Sammet category: Specialised Languages

Constraint handling logic from france

from the ELAN home page:

"the ELAN system provides an environment for specifying and prototyping deduction systems in a language based on rules controlled by strategies. Its purpose is to support the design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer a modular framework for studying their combination.

ELAN takes from functional programming the concept of abstract data types and the function evaluation principle based on rewriting. But rewriting is inherently non-deterministic since several rules can be applied at different positions in a same term, and in ELAN, a computation may have several results. This aspect is taken into account through choice operations and a backtracking capability. One of the main originality of the language is to provide strategy constructors to specify whether a function call returns several, at-least one or only one result. This declarative handling of non-determinism is part of a strategy language allowing the programmer to specify the control on rules application. This is in contrast to many existing rewriting-based languages where the term reduction strategy is hard-wired and not accessible to the designer of an application. The strategy language offers primitives for sequential composition, iteration, deterministic and non-deterministic choices of elementary strategies that are labelled rules. From these primitives, more complex strategies can be expressed. In addition the user can introduce new strategy operators and define them by rewrite rules. Evaluation of strategy application is itself based on rewriting. So the simple and well-known paradigm of rewriting provides both the logical framework in which deduction systems can be expressed and combined, and the evaluation mechanism of the language."
References:
  • M. Vittek (1994) M. Vittek "ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes - Thèse en informatique, Université de Nancy I, November 1994
  • H. Kirchner, P.E. Moreau (1996) H. Kirchner, P.E. Moreau "A reflective extension of ELAN - In J. Meseguer, editors. Proceedings of the first international workshop on rewriting logic. Asilomar 1996.
  • P. Borovansky, C. Kirchner, H. Kirchner, P.E. More (1996) P. Borovansky, C. Kirchner, H. Kirchner, P.E. Moreau, M. Vittek "ELAN: A logical framework based on computational systems - In J. Meseguer, editors. Proceedings of the first international workshop on rewriting logic. Asilomar 1996.
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: Elan, a logical framework based on rewriting logic Extract:
  • P. Borovansky, C. Kirchner, H. Kirchner (1997) P. Borovansky, C. Kirchner, 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. Worshops in Computing, Amsterdam, September 1997. Springer-Verlag.
  • P. Borovansky, C. Kirchner, H. Kirchner (1997) P. Borovansky, C. Kirchner, H. Kirchner "Strategies and rewriting in ELAN" - in Proceedings of the CADE-14 workshop: Strategies in Automated Deduction, Townsville, Australia, 1997.
  • P. Borovansky, C. Kirchner, H. Kirchner (1997) P. Borovansky, C. Kirchner, 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, Amsterdam 1997.
  • P.E. Moreau, H. Kirchner (1997) P.E. Moreau, H. Kirchner "Compilation of Associative-Commutative Normalisation with Strategies in ELAN" (Full version) - Report CRIN 97-R-129
  • P. Borovansky, C. Kirchner, H. Kirchner (1998) P. Borovansky, C. Kirchner, H. Kirchner "A functional view of rewriting and strategies for a semantic of ELAN" pp143-167, Kyoto, April 1998. World Scientific.
          in Proc. (1998) Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998
  • P. Borovansky, C. Kirchner, H. Kirchner, P.E. More (1998) P. Borovansky, C. Kirchner, H. Kirchner, P.E. Moreau and C. Ringeissen "An Overview of ELAN" - In C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998
          in Proc. (1998) Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998
  • P. Borovansky, C. Kirchner, H. Kirchner, P.E. More (1998) P. Borovansky, 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.
          in Proc. (1998) Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998
  • P. Borovansky, H. Cirstea, H. Dubois, C. Kirchner, (1998) P. Borovansky, H. Cirstea, H. Dubois, C. Kirchner, H. Kirchner, P.E. Moreau, C. Ringeissen and M. Vittek "ELAN V 3.3 User manual" INRIA Lorraine & LORIA, Nancy (France), third edition, December 1998
          in Proc. (1998) Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998
  • P. Borovansky, S. Jamoussi, P.-E. Moreau, and C.Ri (1998) P. Borovansky, S. Jamoussi, P.-E. Moreau, and C.Ringeissen "Handling ELAN Rewrite Programs via an Exchange Format" in C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998
          in Proc. (1998) Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998
  • Cirstea, H. and Kirchner, C. (1999) Cirstea, H. and Kirchner, C. "Combining Higher-Order and first-Order Computation Using - Calculus: Towards a semantics of ELAN" pp95-121
          in Gabbay, D.M. (1999) Gabbay, D.M. and M. de Rijke editors. Frontiers of Combining Systems 2 Research Studies Press/Wiley, 1999.
  • H. Kirchner (1999) H. Kirchner "ELAN (invited tutorial)" JFPLC'99 Journées Francophones de Programmation Logique et programmation par Contraintes, Lyon, France, June 1999. Hermes Science Publications, F. Fages editor, pp. 241-248.
          in Gabbay, D.M. (1999) Gabbay, D.M. and M. de Rijke editors. Frontiers of Combining Systems 2 Research Studies Press/Wiley, 1999.
  • H. Kirchner and P.E. Moreau (1999) H. Kirchner and P.E. Moreau "Non-deterministic Computations in ELAN" Recent Developements in Algebraic Specification Techniques, Proc. 13th WADT'98, Selected Papers. J.L. Fiadeiro editor, LNCS 1589, pp. 168-182, 1999.
          in Gabbay, D.M. (1999) Gabbay, D.M. and M. de Rijke editors. Frontiers of Combining Systems 2 Research Studies Press/Wiley, 1999.
  • P.Borovansky, C.Kirchner, H. Kirchner and C. Ringe (2001) P.Borovansky, C.Kirchner, H. Kirchner and C. Ringeissen "Rewriting with strategies in ELAN: a functional semantics - to appear in the International Journal of Foundations of Computer Science, March 2001.
          in Gabbay, D.M. (1999) Gabbay, D.M. and M. de Rijke editors. Frontiers of Combining Systems 2 Research Studies Press/Wiley, 1999.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder