Tom: piggybacking rewriting on java

Authors:
Emilie Balland;Paul Brauner;Radu Kopetz;Pierre-Etienne Moreau;Antoine Reilles
Affiliations:
UHP & Loria;UHP & Loria;INRIA & Loria;INRIA & Loria;INPL & Loria
Venue:
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Year:
2007

Citing 10
Cited 42

Building program optimizers with rewriting strategies

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Efficient annotated terms

Software—Practice & Experience
Visitor combination and traversal control

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compilation and Memory Management for ASF+SDF

CC '99 Proceedings of the 8th International Conference on Compiler Construction, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Formal validation of pattern matching code

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Principles of Superdeduction

LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
The maude 2.0 system

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Anti-pattern matching

ESOP'07 Proceedings of the 16th European conference on Programming
A pattern matching compiler for multiple target languages

CC'03 Proceedings of the 12th international conference on Compiler construction
Formal islands

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology

Weaving rewrite-based access control policies

Proceedings of the 2007 ACM workshop on Formal methods in security engineering
Rules and Strategies in Java

Electronic Notes in Theoretical Computer Science (ENTCS)
Stratego/XT 0.17. A language and toolset for program transformation

Science of Computer Programming
Towards an Efficient Implementation of Tree Automata Completion

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Anti-pattern Matching Modulo

Language and Automata Theory and Applications
A Rewriting Calculus for Multigraphs with Ports

Electronic Notes in Theoretical Computer Science (ENTCS)
Rewriting Strategies in Java

Electronic Notes in Theoretical Computer Science (ENTCS)
Rewrite Based Specification of Access Control Policies

Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of Rewrite-Based Access Control Policies

Electronic Notes in Theoretical Computer Science (ENTCS)
TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing

Proceedings of the 2009 ACM symposium on Applied Computing
A higher-order strategy for eliminating common subexpressions

Computer Languages, Systems and Structures
Strategy-Based Proof Calculus for Membrane Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
The Second Rewrite Engines Competition

Electronic Notes in Theoretical Computer Science (ENTCS)
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
An Isabelle/HOL-based model of stratego-like traversal strategies

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
A Higher-Order Graph Calculus for Autonomic Computing

Graph Theory, Computational Intelligence and Thought
Automatic Parallelization and Optimization of Programs by Proof Rewriting

SAS '09 Proceedings of the 16th International Symposium on Static Analysis
A Port Graph Calculus for Autonomic Computing and Invariant Verification

Electronic Notes in Theoretical Computer Science (ENTCS)
Anti-patterns for rule-based languages

Journal of Symbolic Computation
Software quality improvement via pattern matching

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Typed and unambiguous pattern matching on strings using regular expressions

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Formally specified type checkers for domain specific languages: experience report

Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
A rule-based approach to XML processing and web reasoning

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
The third rewrite engines competition

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
EASY meta-programming with Rascal

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Code transformations for embedded reconfigurable computing architectures

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Symbolic analysis of network security policies using rewrite systems

Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Constraint based strategies

WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Formal specification and validation of security policies

FPS'11 Proceedings of the 4th Canada-France MITACS conference on Foundations and Practice of Security
Scripting a refactoring with Rascal and Eclipse

Proceedings of the Fifth Workshop on Refactoring Tools
Program and aspect metrics for MATLAB

ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Exemplar driven development of software product lines

Expert Systems with Applications: An International Journal
A strategy language for graph rewriting

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
A timed mobility semantics based on rewriting strategies

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Program analysis scenarios in rascal

WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
A language generic solution for name binding preservation in refactorings

Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Model transformations with Tom

Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Automated analysis of rule-based access control policies

PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
Programming errors in traversal programs over structured data

Science of Computer Programming
Enriching MATLAB with aspect-oriented features for developing embedded systems

Journal of Systems Architecture: the EUROMICRO Journal
An object-oriented approach to language compositions for software language engineering

Journal of Systems and Software
Can undergraduates script their own refactorings?

Proceedings of the 2013 ACM workshop on Workshop on refactoring tools

Quantified Score

Hi-index	0.00

Visualization

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.