Publications

From Tom

(Difference between revisions)
Jump to: navigation, search
(Full Bibliography)
Current revision (11:56, 3 April 2017) (view source)
 
Line 3: Line 3:
== Basic References ==
== Basic References ==
* Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, and Antoine Reilles. [http://hal.inria.fr/inria-00142045 Tom: Piggybacking rewriting on java].<br />''In RTA 2007'', Paris, 2007.
* Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, and Antoine Reilles. [http://hal.inria.fr/inria-00142045 Tom: Piggybacking rewriting on java].<br />''In RTA 2007'', Paris, 2007.
-
* Pierre-Etienne Moreau, Christophe Ringeissen and Marian Vittek. [http://www.loria.fr/~moreau/Papiers/MoreauRV-CC2003.pdf A Pattern Matching Compiler for Multiple Target Languages.]<br />'' In G. Hedin, editor, 12th Conference on Compiler Construction'', Warsaw (Poland), volume 2622 of LNCS, pages 61-76. Springer-Verlag, May 2003.  
+
* Pierre-Etienne Moreau, Christophe Ringeissen and Marian Vittek. [http://members.loria.fr/PEMoreau/files/papers/MoreauRV-CC2003.pdf A Pattern Matching Compiler for Multiple Target Languages.]<br />'' In G. Hedin, editor, 12th Conference on Compiler Construction'', Warsaw (Poland), volume 2622 of LNCS, pages 61-76. Springer-Verlag, May 2003.  
== Full Bibliography ==
== Full Bibliography ==
* Horatiu Cirstea, Claude Kirchner, Radu Kopetz,  and Pierre-Etienne Moreau. [http://dx.doi.org/10.1016/j.jsc.2010.01.007 Anti-Patterns For Rule-Based Languages].<br /> ''Journal of Symbolic Computation'', 2010.
* Horatiu Cirstea, Claude Kirchner, Radu Kopetz,  and Pierre-Etienne Moreau. [http://dx.doi.org/10.1016/j.jsc.2010.01.007 Anti-Patterns For Rule-Based Languages].<br /> ''Journal of Symbolic Computation'', 2010.
-
* Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles. [http://www.loria.fr/~moreau/Papers/CirsteaMR-RuleML2009.pdf TomML: A Rule Language For Structured Data].<br />  ''In the International RuleML Symposium on Rule Interchange and Applications'', Las-Vegas (USA), 2009.
+
* Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles. [http://members.loria.fr/PEMoreau/files/papers/CirsteaMR-RuleML2009.pdf TomML: A Rule Language For Structured Data].<br />  ''In the International RuleML Symposium on Rule Interchange and Applications'', Las-Vegas (USA), 2009.
* Claude Kirchner, Pierre-Etienne Moreau, and Cláudia Tavares. [http://www.loria.fr/~tavaresc/documents/RULE09-paper.pdf A Type System for Tom].<br /> ''In Proceedings of The 10th International Workshop on Rule-Based Programming'', Brasília (Brazil), 2009.
* Claude Kirchner, Pierre-Etienne Moreau, and Cláudia Tavares. [http://www.loria.fr/~tavaresc/documents/RULE09-paper.pdf A Type System for Tom].<br /> ''In Proceedings of The 10th International Workshop on Rule-Based Programming'', Brasília (Brazil), 2009.
-
* Emilie Balland, Yohan Boichut, Thomas Genet and Pierre-Etienne Moreau. [http://www.loria.fr/~moreau/Papers/BallandBGM-AMAST2008.pdf Towards an Efficient Implementation of Tree Automata Completion].<br /> ''In Proceedings of 12th International Conference on Algebraic Methodology and Software Technology'', Urbana (USA), 2008.
+
* Emilie Balland, Yohan Boichut, Thomas Genet and Pierre-Etienne Moreau. [http://members.loria.fr/PEMoreau/files/papers/BallandBGM-AMAST2008.pdf Towards an Efficient Implementation of Tree Automata Completion].<br /> ''In Proceedings of 12th International Conference on Algebraic Methodology and Software Technology'', Urbana (USA), 2008.
* Emilie Balland and Pierre-Etienne Moreau. [http://hal.inria.fr/inria-00173535 Term-graph rewriting via explicit paths.]<br />'' in Proceedings of the 19th Conference on Rewriting Techniques and Applications '', Hagenberg (Austria), 2008.
* Emilie Balland and Pierre-Etienne Moreau. [http://hal.inria.fr/inria-00173535 Term-graph rewriting via explicit paths.]<br />'' in Proceedings of the 19th Conference on Rewriting Techniques and Applications '', Hagenberg (Austria), 2008.
* Radu Kopetz and Pierre-Etienne Moreau. [http://www.loria.fr/~kopetz/papers/tomPluginFASE.pdf Software Quality Improvement via Pattern Matching.]<br />'' in Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering'', Budapest (Hungary), 2008.
* Radu Kopetz and Pierre-Etienne Moreau. [http://www.loria.fr/~kopetz/papers/tomPluginFASE.pdf Software Quality Improvement via Pattern Matching.]<br />'' in Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering'', Budapest (Hungary), 2008.
Line 23: Line 23:
* Ozan Kahramanogullari, Pierre-Etienne Moreau and Antoine Reilles. [http://hal.inria.fr/inria-00000698 Implementing Deep Inference in TOM.]<br />''In ICALP Workshop on Structures and Deduction'', Lisboa (Portugal), 2005.
* Ozan Kahramanogullari, Pierre-Etienne Moreau and Antoine Reilles. [http://hal.inria.fr/inria-00000698 Implementing Deep Inference in TOM.]<br />''In ICALP Workshop on Structures and Deduction'', Lisboa (Portugal), 2005.
* Mark G. J. van den Brand, Pierre-Etienne Moreau and Jurgen Vinju. [http://hal.inria.fr/inria-00000700  Generator of efficient strongly typed abstract syntax trees in Java.]<br />''IEE Proceedings - Software Engineering'', 2004.
* Mark G. J. van den Brand, Pierre-Etienne Moreau and Jurgen Vinju. [http://hal.inria.fr/inria-00000700  Generator of efficient strongly typed abstract syntax trees in Java.]<br />''IEE Proceedings - Software Engineering'', 2004.
-
* Julien Guyon, Pierre-Etienne Moreau and Antoine Reilles. [http://www.loria.fr/~moreau/Papiers/GuyonMR-ETX2004.pdf An Integrated Development Environment for Pattern Matching Programming.]<br />''In Brian Barry and Oege de Moor, editor, 2nd eclipse Technology eXchange workshop'', Barcelona (Spain), ENTCS. April 2004.
+
* Julien Guyon, Pierre-Etienne Moreau and Antoine Reilles. [http://members.loria.fr/PEMoreau/files/papers/GuyonMR-ETX2004.pdf An Integrated Development Environment for Pattern Matching Programming.]<br />''In Brian Barry and Oege de Moor, editor, 2nd eclipse Technology eXchange workshop'', Barcelona (Spain), ENTCS. April 2004.
-
* Horatiu Cirstea, Pierre-Etienne Moreau and Antoine Reilles. [http://www.loria.fr/~moreau/Papiers/CirsteaMR-WRLA2004.pdf  Rule based programming in Java for protocol verification.]<br />''In Narcisso Marti-Oliet, editor, 5th International Workshop on Rewriting Logic and its Applications'', Barcelona (Spain), ENTCS. April 2004.
+
* Horatiu Cirstea, Pierre-Etienne Moreau and Antoine Reilles. [http://members.loria.fr/PEMoreau/files/papers/CirsteaMR-WRLA2004.pdf  Rule based programming in Java for protocol verification.]<br />''In Narcisso Marti-Oliet, editor, 5th International Workshop on Rewriting Logic and its Applications'', Barcelona (Spain), ENTCS. April 2004.
-
* Pierre-Etienne Moreau, Christophe Ringeissen and Marian Vittek. [http://www.loria.fr/~moreau/Papiers/MoreauRV-LDTA2000.pdf A Pattern Matching Compiler.]<br />'' In D. Parigot and M. G. J. van den Brand, editors, 1st International Workshop on Language Descriptions, Tools and Applications '', Genova (Italy), volume 44 of ENTCS. April 2001.
+
* Pierre-Etienne Moreau, Christophe Ringeissen and Marian Vittek. [http://members.loria.fr/PEMoreau/files/papers/MoreauRV-LDTA2000.pdf A Pattern Matching Compiler.]<br />'' In D. Parigot and M. G. J. van den Brand, editors, 1st International Workshop on Language Descriptions, Tools and Applications '', Genova (Italy), volume 44 of ENTCS. April 2001.

Current revision

This is a bibliography on the Tom language and its applications.

Basic References


Full Bibliography

Personal tools
Create a book