An Integrated Development Environment for Pattern Matching Programming
Author(s) -
Julien Guyon,
PierreEtienne Moreau,
Antoine Reilles
Publication year - 2004
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2004.02.045
Subject(s) - eclipse , computer science , programming language , java , generator (circuit theory) , abstract syntax tree , matching (statistics) , implementation , syntax , pattern matching , extension (predicate logic) , artificial intelligence , parsing , mathematics , physics , quantum mechanics , astronomy , statistics , power (physics)
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 indepen- dently 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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom