An Integrated Development Environment for Pattern Matching Programming

Julien Guyon 1 Pierre-Etienne Moreau 1 Antoine Reilles 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Tom and Apigen are two complementary tools which simplify the definition and the manipulation of abstract datatypes. Tom is an extension of Java which adds pattern matching facilities independently of the used data-structure. Apigen is a generator of abstract syntax tree implementations which interacts naturally with \tom. In this paper, we show how Eclipse can be extended to support the development of Tom programs. By integrating a Tom editor, an automatic build process, and an error management mechanism, we demonstrate the integration of an algebraic programming environment in Eclipse. Hence, our work contributes to the promotion of formal methods and Eclipse to the educational, algebraic, and industrial communities.
Type de document :
Communication dans un congrès
2nd eclipse Technology eXchange workshop - eTX'2004, Apr 2004, Barcelona, Spain, 16 p, 2004, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100026
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:13:25
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00100026, version 1

Collections

Citation

Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles. An Integrated Development Environment for Pattern Matching Programming. 2nd eclipse Technology eXchange workshop - eTX'2004, Apr 2004, Barcelona, Spain, 16 p, 2004, Electronic Notes in Theoretical Computer Science. 〈inria-00100026〉

Partager

Métriques

Consultations de la notice

109