Rule-based programming and proving: the ELAN experience outcomes

Claude Kirchner 1 Hélène Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Together with the Protheo team in Nancy, we have developed in the last ten years the ELAN rule-based programming language and environment. This paper presents the context and outcomes of this research effort.
Type de document :
Communication dans un congrès
Ninth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00107801
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:09:55
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:56:18

Identifiants

  • HAL Id : inria-00107801, version 1

Collections

Citation

Claude Kirchner, Hélène Kirchner. Rule-based programming and proving: the ELAN experience outcomes. Ninth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p, 2004. 〈inria-00107801〉

Partager

Métriques

Consultations de la notice

108

Téléchargements de fichiers

44