Name
Abstract | ||
|---|---|---|
We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom furnishes a bridge between a general purpose language and higher level specifications that use rewriting. This approach was motivated by the promotion of rewriting techniques and their integration in large scale applications. Powerful matching capabilities along with a rich strategy language are among Tom's strong points, making it easy to use and competitive with other rule based languages. |
Year | Venue | Keywords |
|---|---|---|
2007 | RTA | general purpose language,powerful matching capability,higher level specification,strong point,rich strategy language,large scale application,tom furnishes,high level,tom language,rule based |
Field | DocType | Volume |
Piggybacking (Internet access),Rule-based system,Programming language,Computer science,Algorithm,Abstract syntax tree,Rewriting,Java,Pattern matching,Proof assistant,General-purpose language | Conference | 4533 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-73447-3 | 85 |
PageRank | References | Authors |
2.69 | 12 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Emilie Balland | 1 | 233 | 14.22 |
| Paul Brauner | 2 | 85 | 2.69 |
| Radu Kopetz | 3 | 98 | 4.42 |
| Pierre-etienne Moreau | 4 | 598 | 40.40 |
| Antoine Reilles | 5 | 119 | 6.79 |