Term Rewriting and All That, 1998. ,
Tom: Piggybacking Rewriting on Java, Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA'07), vol.4533, pp.36-47, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00142045
, Term Rewriting Systems, vol.55, 2003.
, An overview of ELAN. Electronic Notes in Theoretical Computer Science, vol.15, pp.55-70, 1998.
Stratego/XT 0.17 -A Language and Toolset for Program Transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008. ,
Reference Manual of the LNT to LOTOS Translator (Version 6.6). INRIA, 2017. ,
, , 2016.
The TXL Source Transformation Language, Science of Computer Programming, vol.61, issue.3, pp.190-210, 2006. ,
Mark van den Brand, Steven Eker, and Traian-Florin Serbanuta. Rewriting Logic Systems. Electronic Notes in Theoretical Computer Science, vol.176, issue.4, pp.233-247, 2007. ,
CafeOBJ Report -The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing. World Scientific, vol.6, 1998. ,
A Rewriting Framework for Rule-Based Programming Dynamic Applications. Fundamenta Informaticae, vol.72, pp.95-108, 2006. ,
The Third Rewrite Engines Competition, Proceedings of the 8th International Workshop on Rewriting Logic and Its Applications (WRLA'10), pp.243-261, 2010. ,
The Second Rewrite Engines Competition, Electronic Notes in Theoretical Computer Science, vol.238, issue.3, pp.281-291, 2009. ,
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.2, pp.89-107, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00715056
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages -The 4th Rewrite Engines Competition, Proceedings of the 12th International Workshop on Rewriting Logic and its Applications (WRLA'18), vol.11152, pp.1-25, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01883212
Modeling and Analysis of Communicating Systems, 2014. ,
LOTOS -A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization -Information Processing Systems -Open Systems Interconnection, 1989. ,
, Lo¨?gLo¨?g Jezequel, César Rodríguez, and Francis Hulin-Hubard. MCC'2015 -The Fifth Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency, pp.262-273, 2016.
The OCaml System Release 4.04 -Documentation and User's Manual. INRIA, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-00930213
Definition of Standard ML (Revised), 1997. ,
Adriaan Moors, Lukas Rytz, Michel Schinz, Erik Stenman, and Matthias Zenger. The Scala Language Specification -Version 2.11, 2016. ,
The Programming Language Opal -6th Corrected Edition, 2012. ,
Clean Version 2.2 Language Report. Department of Software Technology, 2011. ,
Rascal: From Algebraic Specification to Meta-Programming ,
, Proceedings of the 2nd International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE'11), vol.56, pp.15-32, 2011.
Compiling Language Definitions: The ASF+SDF Compiler, ACM Transactions on Programming Languages and Systems, vol.24, issue.4, pp.334-368, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00101029