Bringing Strategic Rewriting into the Mainstream

Emilie Balland 1 Horatiu Cirstea 2, 3 Pierre-Etienne Moreau 3, 2
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
3 PAREO - Formal islands: foundations and applications
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Developing programming paradigms and languages that ease the program-mers' job of writing quality reusable code have been central ever since the beginning of programming. Tom, the language presented here, has been developed in an attempt to make a step forward in this direction. It promotes term rewriting techniques piggybacked on top of a general-purpose programming language like Java, C, and Python. This results in concise pieces of code which are close to the targeted application domain and which can be reasoned about using effective theoretical and practical tools. This approach has been validated on a variety of concrete applications ranging from academic tools like theorem provers, to large and complex applications, including the Tom compiler itself and several industrial products. This paper presents an overview of the current version of the language and explains the design rationale, browses the application domains and gives some hints on the tool building.
Type de document :
Pré-publication, Document de travail
2015
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01128523
Contributeur : Pierre-Etienne Moreau <>
Soumis le : lundi 9 mars 2015 - 18:20:38
Dernière modification le : vendredi 14 septembre 2018 - 01:04:09
Document(s) archivé(s) le : lundi 17 avril 2017 - 05:52:20

Fichier

submission.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01128523, version 1

Citation

Emilie Balland, Horatiu Cirstea, Pierre-Etienne Moreau. Bringing Strategic Rewriting into the Mainstream. 2015. 〈hal-01128523〉

Partager

Métriques

Consultations de la notice

249

Téléchargements de fichiers

119