O. Agesen, J. Palsberg, and M. I. Schwartzbach, Type Inference of Self, pp.975-995, 1995.
DOI : 10.1007/3-540-47910-4_14

E. Allen, J. Bannet, and R. Cartwright, A First-Class Approach to Genericity, Proceedings of OOPSLA'03, pp.96-114, 2003.
DOI : 10.1145/949305.949316
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.7411

E. Allen, D. Chase, V. Luchangco, J. Maessen, J. Guy et al., Object- Oriented Units of Measurement, Proceedings of OOPSLA'04, pp.384-403

M. Alturki and J. Meseguer, Real-time rewriting semantics of orc, Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, PPDP '07, pp.131-142, 2007.
DOI : 10.1145/1273920.1273938

M. Alturki and J. Meseguer, Reduction Semantics and Formal Analysis of Orc Programs, Proceedings of WWV'07, pp.25-41
DOI : 10.1016/j.entcs.2008.04.091

M. Anlauff, S. Chakraborty, P. W. Kutter, A. Pierantonio, and L. Thiele, Generating an action notation environment from Montages descriptions, International Journal on Software Tools for Technology Transfer, vol.3, issue.4, pp.431-455, 2001.

I. Attali, D. Caromel, S. O. Ehmety, and S. Lippi, Semantic-Based Visualization for Parallel Object-Oriented Programming, Proceedings of OOPSLA'96, pp.421-440, 1996.

F. Baader and T. Nipkow, Term Rewriting and All That, 1999.

E. Balland, P. Brauner, R. Kopetz, P. Moreau, and A. Reilles, Tom: Piggybacking Rewriting on Java, Proceedings of RTA'07, pp.36-47, 2007.
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045

M. Barnett, K. R. Leino, and W. Schulte, The Spec# Programming System: An Overview, Proceedings of CASSIS'04, pp.49-69
DOI : 10.1007/978-3-540-30569-9_3

M. Barnett and W. Schulte, Contracts, Components, and their Runtime Verification on the .NET Platform, 2002.

P. Baudin, J. Filliâtre, C. Marché, B. Monate, Y. Moy et al., ACSL: ANSI/ISO C Specification Language, 2008.

B. Blanchet, Escape Analysis for Object-Oriented Languages: Application to Java, Proceedings of OOPSLA'99, pp.20-34, 1999.

E. Börger and R. Stärk, The Abstract State Machines Method for High-Level System Design and Analysis, 2003.
DOI : 10.1007/978-1-84882-736-3_3

P. Borovansk´yborovansk´y, C. Kirchner, H. Kirchner, P. Moreau, and C. Ringeissen, An Overview of ELAN, Proceedings of WRLA'98, 1998.

P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn et al., CENTAUR: the system, Proceedings of SDE 3, pp.14-24
URL : https://hal.archives-ouvertes.fr/inria-00075774

C. Braga and J. Meseguer, Modular Rewriting Semantics in Practice, Proceedings of WRLA'04, pp.393-416, 2005.
DOI : 10.1016/j.entcs.2004.06.019

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, vol.72, issue.1-2
DOI : 10.1016/j.scico.2007.11.003

D. F. Brown, H. Moura, and D. A. Watt, Actress: An Action Semantics Directed Compiler Generator, Proceedings of CC'92, pp.95-109, 1992.

W. E. Brown, Applied Template Metaprogramming in SIUNITS: the Library of Unit-Based Computation, 2001.

L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. Kiniry et al., An overview of JML tools and applications, Proceedings of FMICS'03, pp.75-91, 2003.
DOI : 10.1007/s10009-004-0167-4

I. Cervesato and M. Stehr, Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Proceedings of WRLA'04, 2004.

C. Chambers and D. Ungar, Making Pure Object-Oriented Languages Practical, Proceedings of OOPSLA'91, pp.1-15, 1991.

S. Chatterjee, S. K. Lahiri, S. Qadeer, and Z. Rakamaric, A Reachability Predicate for Analyzing Low-Level Software, Proceedings of TACAS'07, pp.19-33, 2007.
DOI : 10.1007/978-3-540-71209-1_4

F. Chen, M. Hills, and G. Ro¸suro¸su, A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages, 2006.

F. Chen, G. Ro¸suro¸su, and R. P. Venkatesan, Rule-Based Analysis of Dimensional Safety, Proceedings of RTA'03, pp.197-207, 2003.
DOI : 10.1007/3-540-44881-0_15

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, LNCS, vol.4350, 2007.

E. Cohen, M. Moskal, W. Schulte, and S. Tobies, A Practical Verification Methodology for Concurrent Programs, 2008.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

M. Amorim, M. Hills, F. Chen, and G. Ro¸suro¸su, Automatic and Precise Dimensional Analysis, 2005.

O. Danvy and L. R. Nielsen, Refocusing in Reduction Semantics, BRICS Report Series, vol.11, issue.26, 2004.
DOI : 10.7146/brics.v11i26.21851

C. De, O. Braga, E. H. Haeusler, J. Meseguer, and P. D. Mosses, Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic, Proceedings of AMAST'00, pp.407-421, 2000.

K. Doh and P. D. Mosses, Composing Programming Languages by Combining Action-Semantics Modules, Proceedings of LDTA'01, 2001.

K. Doh and P. D. Mosses, Composing programming languages by combining action-semantics modules, Science of Computer Programming, vol.47, issue.1, pp.3-36, 2003.
DOI : 10.1016/S0167-6423(02)00107-7

G. Dowek, C. Muñoz, and C. Rocha, Rewriting Logic Semantics of a Plan Execution Language, Proceedings of SOS'09. ENTCS, 2009.
DOI : 10.4204/EPTCS.18.6

F. Durán and J. Meseguer, The Maude specification of Full Maude, 1999.

F. Durán and J. Meseguer, Structured theories and institutions, Theoretical Computer Science, vol.309, issue.1-3, pp.357-380, 2003.
DOI : 10.1016/S0304-3975(03)00312-8

F. Durán and J. Meseguer, Maude???s module algebra, Science of Computer Programming, vol.66, issue.2, pp.125-153, 2007.
DOI : 10.1016/j.scico.2006.07.002

C. Ellison, T. F. Serbanuta, and G. Rosu, A Rewriting Logic Approach to Type Inference, Proceedings of WADT '08, pp.135-151
DOI : 10.1007/11541868_4

D. A. Espinosa, Semantic Lego, 1995.

D. Evans, Static Detection of Dynamic Memory Errors, Proceedings of PLDI'96, pp.44-53, 1996.

D. Evans, J. V. Guttag, J. J. Horning, and Y. M. Tan, LCLint: A Tool for Using Specifications to Check Code, Proceedings of FSE'94, pp.87-96, 1994.

A. Farzan, F. Chen, J. Meseguer, and G. Ro¸suro¸su, Formal Analysis of Java Programs in JavaFAN, Proceedings of CAV'04, pp.501-505
DOI : 10.1007/978-3-540-27813-9_46

A. Farzan and J. Meseguer, State Space Reduction of Rewrite Theories Using Invisible Transitions, Proceedings of AMAST'06, pp.142-157, 2006.
DOI : 10.1007/11784180_13

A. Farzan and J. Meseguer, Partial Order Reduction for Rewriting Semantics of Programming Languages, Proceedings of WRLA'06, pp.61-78, 2007.
DOI : 10.1016/j.entcs.2007.06.008

A. Farzan, J. Meseguer, and G. Rosu, Formal JVM Code Analysis in JavaFAN, Proceedings of AMAST'04, pp.132-147, 2004.
DOI : 10.1007/978-3-540-27815-3_14

M. Felleisen, R. B. Findler, and M. Flatt, Semantics Engineering with PLT Redex, 2009.

M. Felleisen and D. P. Friedman, Control Operators, the SECD machine, and the ?-calculus, Formal Descriptions of Programming Concepts III, Proc. IFIP TC2 Working Conference, pp.193-217, 1986.

M. Felleisen and R. Hieb, The revised report on the syntactic theories of sequential control and state, Theoretical Computer Science, vol.103, issue.2, pp.235-271, 1992.
DOI : 10.1016/0304-3975(92)90014-7

J. Filliâtre and C. Marché, Multi-prover Verification of C Programs, Proceedings of ICFEM'04, pp.15-29, 2004.
DOI : 10.1007/978-3-540-30482-1_10

J. Filliâtre and C. Marché, The Why/Krakatoa/Caduceus Platform for Deductive Program Verification, Proceedings of CAV'07, pp.173-177, 2007.
DOI : 10.1007/978-3-540-73368-3_21

J. S. Foster, M. Fähndrich, and A. Aiken, A Theory of Type Qualifiers, Proceedings of PLDI'99, pp.192-203, 1999.

D. P. Friedman, M. Wand, and C. T. Haynes, Essentials of Programming Languages, 2001.

N. H. Gehani, Units of measure as a data attribute, Computer Languages, vol.2, issue.3, pp.93-111, 1977.
DOI : 10.1016/0096-0551(77)90010-8

N. H. Gehani, Ada's Derived Types and Units of Measure. Software Practice and Experience, pp.555-569, 1985.

G. Berry and G. Boudol, The Chemical Abstract Machine, Proceedings of POPL'90, pp.81-94, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075426

J. Goguen and J. Meseguer, Completeness of many-sorted equational logic, Houston Journal of Mathematics, vol.11, issue.3, pp.307-334, 1985.

J. A. Goguen and R. M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524

J. A. Goguen and G. Malcolm, Algebraic Semantics of Imperative Programs, 1996.

J. A. Goguen and G. Rosu, Composing Hidden Information Modules over Inclusive Institutions, Essays in Memory of Ole-Johan Dahl, pp.96-123, 2004.
DOI : 10.1007/978-3-540-39993-3_7

J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. Wright, Initial Algebra Semantics and Continuous Algebras, Journal of the ACM, vol.24, issue.1, pp.68-95, 1977.
DOI : 10.1145/321992.321997

A. Goldberg and D. Robson, Smalltalk-80: the language and its implementation, 1983.

C. A. Gunter and D. S. Scott, Semantic Domains, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pp.633-674
DOI : 10.1016/B978-0-444-88074-1.50017-2

Y. Gurevich, Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods, pp.9-36, 1995.

Y. Gurevich and J. K. Huggins, The Semantics of the C Programming Language, Proceedings of CSL'92, pp.274-308, 1992.

W. L. Harrison and S. N. Kamin, Modular compilers based on monad transformers, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225), pp.122-131, 1998.
DOI : 10.1109/ICCL.1998.674163

P. H. Hartel, LETOS - a lightweight execution tool for operational semantics, Software: Practice and Experience, vol.102, issue.15, pp.1379-1416, 1999.
DOI : 10.1002/(SICI)1097-024X(19991225)29:15<1379::AID-SPE286>3.0.CO;2-V

K. Havelund, Java PathFinder A Translator from Java to Promela, LNCS, vol.1680, p.152, 1999.
DOI : 10.1007/3-540-48234-2_11
URL : http://hdl.handle.net/2060/20000102373

M. Hidalgo-herrero, A. Verdejo, and Y. Ortega-mallén, Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics, Proceedings of WRS'06, pp.119-137, 2007.
DOI : 10.1016/j.entcs.2007.02.051

P. N. Hilfinger, An Ada package for dimensional analysis, ACM Transactions on Programming Languages and Systems, vol.10, issue.2, pp.189-203, 1988.
DOI : 10.1145/42190.42346

M. Hills, Memory Representations in Rewriting Logic Semantics Definitions, Proceedings of WRLA'08, pp.155-172, 2009.
DOI : 10.1016/j.entcs.2009.05.018
URL : https://hal.archives-ouvertes.fr/inria-00535864

M. Hills, T. B. Aktemur, and G. Ro¸suro¸su, FSL Beta Language Website

M. Hills, T. B. Aktemur, and G. Ro¸suro¸su, An Executable Semantic Definition of the Beta Language using Rewriting Logic, 2005.

M. Hills, F. Chen, and G. Ro¸suro¸su, A Rewriting Logic Approach to Static Checking of Units of Measurement in C, Proceedings of RULE'08, 2008.
DOI : 10.1016/j.entcs.2012.11.011

M. Hills, F. Chen, and G. Ro¸suro¸su, Pluggable Policies for C, 2008.

M. Hills, T. F. , and G. Ro¸suro¸su, A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters, Proceedings of WRLA'06, pp.215-231, 2007.
DOI : 10.1016/j.entcs.2007.06.017

M. Hills and G. Ro¸suro¸su, C Policy Framework

M. Hills and G. Ro¸suro¸su, SILF Policy Framework

M. Hills and G. Ro¸suro¸su, A Rewriting Based Approach to OO Language Prototyping and Design, 2006.

M. Hills and G. Ro¸suro¸su, KOOL: A K-based Object-Oriented Language, 2006.

M. Hills and G. Ro¸suro¸su, KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis, Proceedings of RTA'07, pp.246-256, 2007.
DOI : 10.1007/978-3-540-73449-9_19

M. Hills and G. Ro¸suro¸su, On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance, Proceedings of FMOODS'07, pp.107-121, 2007.
DOI : 10.1145/567097.567099

M. Hills and G. Ro¸suro¸su, Towards a Module System for K, Proceedings of WADT'08, pp.187-205, 2009.
DOI : 10.1007/BFb0014346

R. T. House, A Proposal for an Extended Form of Type Checking of Expressions, The Computer Journal, vol.26, issue.4, pp.366-374, 1983.
DOI : 10.1093/comjnl/26.4.366

J. Huggins, Abstract State Machines: Language Definitions

J. Huggins, Abstract State Machines: Tools

J. Iversen, Formalisms and tools supporting Constructive Action Semantics, 2005.

J. Iversen and P. D. Mosses, Constructive Action Semantics for Core ML, IEE Proceedings - Software, vol.152, issue.2, pp.79-98, 2005.
DOI : 10.1049/ip-sen:20041182

B. Jacobs, J. Van-den-berg, M. Huisman, and M. Van-berkum, Reasoning about Java Classes (Preliminary Report), Proceedings of OOPSLA'98, pp.329-340, 1998.

L. Jiang and Z. Su, Osprey, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.262-271
DOI : 10.1145/1134285.1134323

E. B. Johnsen, O. Owe, and E. W. Axelsen, A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls, Proceedings of WRLA'04, 2004.
DOI : 10.1016/j.entcs.2004.06.012

M. P. Jones and L. Duponcheel, Composing monads, 1993.

R. Jones and R. Lins, Garbage Collection: Algorithms for Automatic Dynamic Memory Management, 1996.

G. Kahn, Natural semantics, Proceedings of STACS'87, pp.22-39, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953

M. Katelman and J. Meseguer, A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis, Proceedings of WRLA'06, pp.47-60, 2007.
DOI : 10.1016/j.entcs.2007.06.007

M. Kaufmann, P. Manolios, and J. S. Moore, Computer-Aided Reasoning: ACL2 Case Studies, 2000.

A. J. Kennedy, Relational parametricity and units of measure, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, 1997.
DOI : 10.1145/263699.263761

A. J. Kennedy, Programming Languages and Dimensions, 1995.

D. J. King and P. Wadler, Combining Monads, Proceedings of Functional Programming'92, Workshops in Computing, pp.134-143, 1992.
DOI : 10.1007/978-1-4471-3215-8_12

C. Kirchner, P. Moreau, and A. Reilles, Formal validation of pattern matching code, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.187-197, 2005.
DOI : 10.1145/1069774.1069792
URL : https://hal.archives-ouvertes.fr/inria-00000701

P. W. Kutter and A. Pierantonio, Montages Specifications of Realistic Programming Languages, J. UCS, vol.3, issue.5, pp.416-442, 1997.

N. G. Leveson, An investigation of the Therac-25 accidents, Computer, vol.26, issue.7, pp.18-41, 1993.
DOI : 10.1109/MC.1993.274940

S. Liang and P. Hudak, Modular denotational semantics for compiler construction, Proceedings of ESOP'96, pp.219-234
DOI : 10.1007/3-540-61055-3_39

S. Liang, P. Hudak, and M. P. Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.333-343, 1995.
DOI : 10.1145/199448.199528

B. H. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

C. Lüth and N. Ghani, Composing Monads Using Coproducts, Proceedings of ICFP'02, pp.133-144, 2002.

G. W. Macpherson, A reusable Ada package for scientific dimensional integrity, ACM SIGAda Ada Letters, vol.XVI, issue.3, pp.56-63, 1996.
DOI : 10.1145/382185.383006

O. L. Madsen, B. Møller-pedersen, and K. Nygaard, Object-Oriented Programming in the BETA Programming Language, 1993.

N. Martí-oliet and J. Meseguer, Rewriting logic: roadmap and bibliography, Theoretical Computer Science, vol.285, issue.2, pp.121-154, 2002.
DOI : 10.1016/S0304-3975(01)00357-7

J. Matthews, R. B. Findler, M. Flatt, and M. Felleisen, A Visual Environment for Developing Context-Sensitive Term Rewriting Systems, Proceedings of RTA'04, pp.301-311, 2004.
DOI : 10.1007/978-3-540-25979-4_21

J. Meseguer, Lecture Notes from Program Verification (CS476), 2008.

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

J. Meseguer and C. Braga, Modular Rewriting Semantics of Programming Languages, Proceedings of AMAST'04, pp.364-378
DOI : 10.1007/978-3-540-27815-3_29

J. Meseguer and U. Montanari, Petri nets are monoids: a new algebraic foundation for net theory, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science, pp.155-164, 1988.
DOI : 10.1109/LICS.1988.5114

J. Meseguer and G. Ro¸suro¸su, Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools, Proceedings of IJCAR'04
DOI : 10.1007/978-3-540-25984-8_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.4371

J. Meseguer and G. Rosu, The rewriting logic semantics project, Theoretical Computer Science, vol.373, issue.3, pp.213-237, 2006.
DOI : 10.1016/j.tcs.2006.12.018

B. Meyer, Eiffel: A language and environment for software engineering, Journal of Systems and Software, vol.8, issue.3, pp.199-246, 1988.
DOI : 10.1016/0164-1212(88)90022-2

B. Meyer, Attached Types and Their Application to Three Open Problems of Object-Oriented Programming, Proceedings of ECOOP'05, pp.1-32, 2005.
DOI : 10.1007/11531142_1

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, M. Tofte, and D. Macqueen, The Definition of Standard ML, 1997.

K. Mitchell, Concurrency in a Natural Semantics, 1994.

E. Moggi, An Abstract View of Programming Languages, 1989.

E. Moggi, Notions of Computation and Monads. Information and Computation, pp.55-92, 1991.

U. Montanari, True concurrency: Theory and practice, Proceedings of MPC'92, pp.14-17, 1992.
DOI : 10.1007/3-540-56625-2_4

U. Montanari and F. Rossi, True Concurrency in Concurrent Constraint Programming, Proceedings of ISLP'91, pp.694-713, 1991.

P. Moreau, C. Ringeissen, and M. Vittek, A Pattern Matching Compiler for Multiple Target Languages, Proceedings of CC'03, pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

P. D. Mosses, Denotational semantics In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pp.575-631, 1990.

P. D. Mosses, Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science, 1992.

P. D. Mosses, On the Action Semantics of Concurrent Programming Languages, LNCS, vol.666, pp.398-424, 1992.

P. D. Mosses, Foundations of Modular SOS, Proceedings of MFCS'99, pp.70-80, 1999.

P. D. Mosses, The Varieties of Programming Language Semantics, Proceedings of Ershov Memorial Conference'01, pp.165-190
DOI : 10.1007/3-540-44929-9_49

P. D. Mosses, Pragmatics of Modular SOS, Proceedings of AMAST'02, pp.21-40, 2002.

P. D. Mosses, Exploiting labels in Structural Operational Semantics, Proceedings of the 2004 ACM symposium on Applied computing , SAC '04, pp.1476-1481, 2004.
DOI : 10.1145/967900.968195

P. D. Mosses, Modular structural operational semantics, Journal of Logic and Algebraic Programming, pp.60-61195, 2004.
DOI : 10.7146/brics.v12i7.21873
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.6387

P. D. Mosses, A Constructive Approach to Language Definition, Journal of Universal Computer Science, vol.11, issue.7, pp.1117-1134, 2005.

P. D. Mosses, Constructive Action Semantics in OBJ, Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp.281-295, 2006.
DOI : 10.1007/11780274_15

P. D. Mosses, Component-Based Description of Programming Languages, Visions of Computer Science, Proceedings of BCS International Academic Research Conference, pp.275-286, 2008.

P. D. Mosses, Component-based semantics, Proceedings of the 8th international workshop on Specification and verification of component-based systems, SAVCBS '09, pp.3-10, 2009.
DOI : 10.1145/1596486.1596489

P. D. Mosses and M. J. New, Implicit Propagation in Structural Operational Semantics, Proceedings of SOS'08, pp.49-66
DOI : 10.1016/j.entcs.2009.07.073

G. C. Necula, S. Mcpeak, S. P. Rahul, and W. Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Proceedings of CC'02, pp.213-228, 2002.
DOI : 10.1007/3-540-45937-5_16

H. R. Nielson and F. Nielson, Semantics with Applications: An Appertizer, 2006.

K. Nygaard and O. Dahl, Simula 67, History of Programming Languages, 1981.

P. Ørbaek, OASIS: An Optimizing Action-Based Compiler Generator, Proceedings of CC'94, pp.1-15, 1994.

Y. G. Park and B. Goldberg, Escape Analysis on Lists, Proceedings of PLDI'92, pp.116-127, 1992.
DOI : 10.1145/143103.143125

C. A. Petri, Concepts of net theory, Mathematical Institute of the Slovak Academy of Sciences, pp.137-146, 1973.

M. Pettersson, Compiling Natural Semantics, LNCS, vol.1549, 1999.
DOI : 10.1007/b71652

G. D. Plotkin, A Powerdomain Construction, SIAM Journal on Computing, vol.5, issue.3, pp.452-487, 1976.
DOI : 10.1137/0205035

G. D. Plotkin, A structural approach to operational semantics, Journal of Logic and Algebraic Programming, pp.60-6117, 2004.

D. Rémy and J. Vouillon, Objective ML, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.40-53, 1997.
DOI : 10.1145/263699.263707

C. Rocha, C. Muñoz, and H. Cadavid, A Graphical Environment for the Semantic Validation of a Plan Execution Language, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology, pp.201-207, 2009.
DOI : 10.1109/SMC-IT.2009.31

G. Ro¸suro¸su, Lecture notes of course on Programming Language Design, Dept. of Computer Science, UIUC, 2006.

G. Ro¸suro¸su, CS322, Fall 2003 -Programming Language Design: Lecture Notes, 2003.

G. Ro¸suro¸su, K: A Rewriting-Based Framework for Computations ? Preliminary version, 2007.

G. Ro¸suro¸su and F. Chen, Certifying Measurement Unit Safety Policy, Proceedings of ASE'03, pp.304-309, 2003.

G. Ro¸suro¸su, C. Ellison, and W. Schulte, From Rewriting Logic Executable Semantics to Matching Logic Program Verification, 2009.

G. Ro¸suro¸su, W. Schulte, and T. F. , Runtime Verification of C Memory Safety, Proceedings of RV'09, 2009.

D. A. Schmidt, Denotational Semantics: A Methodology for Language Development, 1986.

T. F. , G. Ro¸suro¸su, and J. Meseguer, A Rewriting Logic Approach to Operational Semantics, Information and Computation, vol.207, pp.305-340, 2009.

P. Sewell, F. Z. Nardelli, S. Owens, G. Peskine, T. Ridge et al., Ott: Effective Tool Support for the Working Semanticist, Proceedings of ICFP'07, pp.1-12, 2007.

T. Sheard and Z. Benaissa, From Interpreter to Compiler Using Staging and Monads, 1998.

T. Sheard, Z. Benaissa, and E. Pasalic, DSL Implementation using Staging and Monads, Proceedings of DSL'99, pp.81-94, 1999.

K. Slonneger and B. L. Kurtz, Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach, 1995.

R. Stärk, J. Schmid, and E. Börger, Java TM and the Java TM Virtual Machine: Definition, Verification, Validation, 2001.

G. L. Steele, Building interpreters by composing monads, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.472-492, 1994.
DOI : 10.1145/174675.178068

M. Stehr, I. Cervesato, and S. Reich, An Execution Environment for the MSR Cryptoprotocol Specification Language

M. Stehr and C. Talcott, Plan in Maude Specifying an Active Network Programming Language, Proceedings of WRLA'02, 2002.
DOI : 10.1016/S1571-0661(05)82538-1

M. Stehr and C. L. Talcott, Practical techniques for language design and prototyping, Abstracts Collection of the Dagstuhl Seminar 05081 on Foundations of Global Computing, 2005.

J. E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, 1977.

C. Strachey and C. P. Wadsworth, Continuations: A Mathematical Semantics for Handling Full Jumps, Higher-Order and Symbolic Computation, pp.135-152, 2000.

R. Strni?a, P. Sewell, and M. Parkinson, The Java Module System: Core Design and Semantic Definition, Proceedings of OOPSLA '07, pp.499-514, 2007.

P. Thati, K. Sen, and N. Martí-oliet, An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0, Proceedings of WRLA'02, 2002.
DOI : 10.1016/S1571-0661(05)82539-3

A. P. Tolmach and S. Antoy, A monadic semantics for core Curry, Proceedings of WFLP'03, 2003.

J. Van-den, B. Berg, and . Jacobs, The loop Compiler for Java and JML, Proceedings of TACAS'01, pp.299-312, 2001.
DOI : 10.1007/3-540-45319-9_21

M. Van-den-brand, J. Iversen, and P. D. Mosses, An Action Environment, Proceedings of LDTA'04, pp.149-168, 2004.

M. Van-den-brand, J. Iversen, and P. D. Mosses, The Action Environment: Tool Demonstration, Proceedings of LDTA'04, pp.177-180, 2004.

M. Van-den-brand, J. Iversen, and P. D. Mosses, An Action Environment, Science of Computer Programming, vol.61, issue.3, pp.245-264, 2006.
DOI : 10.1016/j.scico.2006.04.005

M. Van-den-brand, A. Van-deursen, J. Heering, H. A. De-jong, M. De-jonge et al., The Asf+Sdf Meta-environment: A Component-Based Language Development Environment, Proceedings of CC'01, pp.365-370, 2001.
DOI : 10.1007/3-540-45306-7_26

M. G. Van-den-brand, J. Heering, P. Klint, and P. A. Olivier, Compiling language definitions: the ASF+SDF compiler, ACM Transactions on Programming Languages and Systems, vol.24, issue.4, pp.334-368, 2002.
DOI : 10.1145/567097.567099
URL : https://hal.archives-ouvertes.fr/inria-00101029

A. Van-deursen and P. D. Mosses, ASD: The action semantic description tools, Proceedings of AMAST'96, pp.579-582, 1996.
DOI : 10.1007/BFb0014346

A. Verdejo, Maude como marco semántico ejecutable, 2003.

A. Verdejo and N. Martí-oliet, Implementing CCS in Maude 2, Proceedings of WRLA'02, pp.282-300, 2002.

A. Verdejo and N. Martí-oliet, Implementing CCS in Maude 2, Proceedings of WRLA'02, 2002.

E. Visser, Program Transformation with Stratego/XT, LNCS, vol.3016, pp.216-238, 2003.
DOI : 10.1007/978-3-540-25935-0_13

P. Wadler, Comprehending monads, Proceedings of the 1990 ACM conference on LISP and functional programming , LFP '90, pp.61-78, 1990.
DOI : 10.1145/91556.91592

P. Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, pp.1-14, 1992.
DOI : 10.1145/143165.143169

K. Wansbrough, A Modular Monadic Action Semantics, 1997.

K. Wansbrough and J. Hamer, A Modular Monadic Action Semantics, Proceedings of DSL'97. USENIX, 1997.

K. Winter, Model Checking for Abstract State Machines, Journal of Universal Computer Science, vol.3, issue.5, pp.689-701, 1997.

K. Winter, Model Checking Abstract State Machines, 2001.

M. Wirsing, Algebraic Specification In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pp.675-788, 1990.

A. K. Wright and M. Felleisen, A Syntactic Approach to Type Soundness, Information and Computation, vol.115, issue.1, pp.38-94, 1994.
DOI : 10.1006/inco.1994.1093

W. Zimmerman and T. Gaul, On the Construction of Correct Compiler Back- Ends: An ASM Approach, Journal of Universal Computer Science, vol.3, issue.5, pp.504-567, 1997.