An Integrated Development Environment for Pattern Matching Programming - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

An Integrated Development Environment for Pattern Matching Programming

Résumé

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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00100026 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100026 , version 1

Citer

Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles. An Integrated Development Environment for Pattern Matching Programming. 2nd eclipse Technology eXchange workshop - eTX'2004, Brian Barry and Oege de Moor, Apr 2004, Barcelona, Spain, 16 p. ⟨inria-00100026⟩
52 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More