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 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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.entcs.2004.02.045 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
abstract syntax tree implementation,error management mechanism,tom editor,facilities indepen,eclipse,algebraic programming environment,java,tom program,integrated development environment,complementary tool,abstract datatypes,formal method,pattern matching programming,algebraic programming enviroments,industrial community,abstract syntax tree,pattern matching,data structure | Algebraic number,Programming language,Computer science,Development environment,Abstract syntax tree,Implementation,Theoretical computer science,Eclipse,Formal methods,Java,Pattern matching | Journal |
Volume | Issue | ISSN |
107 | C | 1571-0661 |
Citations | PageRank | References |
4 | 0.43 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Julien Guyon | 1 | 6 | 0.85 |
Pierre-etienne Moreau | 2 | 598 | 40.40 |
Antoine Reilles | 3 | 119 | 6.79 |