Maude MSOS Tool

Electronic Notes in Theoretical Computer Science

Volumn 176, Issue 4, 2007, Pages 133-146

  Chalub, Fabricio ^a   Braga, Christiano ^a  

^a FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

Author keywords

Maude; Modular SOS; Modular SOS Definition Formalism; Rewriting Logic

Indexed keywords

MAUDE MSOS TOOL (MMT); MODULAR STRUCTURAL OPERATIONAL SEMANTICS (MSOS); STRUCTURAL OPERATIONAL SEMANTICS (SOS);

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS;

SEMANTICS;

EID: 34447620097     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.06.012     Document Type: Article

References (17)

1. Braga C., Hermann Haeusler E., Meseguer J., and Mosses P.D. Mapping Modular SOS to Rewriting Logic. In: Leuschel M. (Ed). 12th International Workshop on Logic Based Program Synthesis and Transformation. LOPSTR 2002, Madrid, Spain. Lecture Notes in Computer Science volume 2664 (September 2003), Springer 262-277
2. Braga C., and Meseguer J. Modular rewriting semantics in practice. Electronic Notes in Theoretical Computer Science 117 (2005) 393-416
3. F. Chalub. An Implementation of Modular Structural Operational Semantics in Maude. Master's thesis, Universidade Federal Fluminense, 2005. http://www.ic.uff.br/~frosario/dissertation.pdf
4. Clavel M., Durán F., Eker S., Meseguer J., and Stehr M.-O. Maude as a formal meta-tool. World Congress on Formal Methods (FM'99). Lecture Notes in Computer Science volume 1709 (1999), Springer-Verlag 1684-1703
5. F. Durán. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis Universidad de Málaga, Escuela Tcnica Superior de Ingeniería Informática, 1999
6. Hartel P.H. LETOS - A lightweight execution tool for operational semantics. Software-Practice and Experience 29 15 (Sep 1999) 1379-1416
7. Martí-Oliet N., and Meseguer J. chapter Rewriting Logic as a Logical and Semantic Framework. Handbook of Philosophical Logic. second edition volume 9 (Nov 2002), Kluwer Academic Publishers 1-87. http://maude.cs.uiuc.edu/papers
8. Meseguer J., and Braga C. Modular rewriting semantics of programming languages. In: Rattray C., Maharaj S., and Shankland C. (Eds). Algebraic Methodology and Software Technology: proceedings of the 10th International Conference. AMAST 2004, Stirling, Scotland, UK. LNCS volume 3116 (July 2004), Springer 364-378
9. Meseguer J., and Roşu G. The rewriting logic semantics project. Electronic Notes in Theoretical Computer Science 156 1 (2005) 27-56
10. Milner R. Communicating and Mobile Systems: the π-Calculus (1999), Cambridge University Press
11. P.D. Mosses. Fundamental Concepts and Formal Semantics of Programming Languages-an introductory course. Lecture notes, available at http://www.daimi.au.dk/jwig-cnn/dSem/, 2004
12. Mosses P.D. Modular structural operational semantics. Journal of Logic and Algebraic Programming 60-61 (2004) 195-228
13. Mosses P.D. A Constructive Approach to Language Definition. Journal of Universal Computer Science 11 7 (2005) 1117-1134
14. Mousavi M., and Reniers M.A. Prototyping SOS meta-theory in Maude. Electronic Notes in Theoretical Computer Science 156 1 (2005) 135-150
15. Pettersson M. Compiling Natural Semantics. Lecture Notes in Computer Science volume 1549 (1999), Springer
16. Plotkin G.D. A structural approach to operational semantics. Journal of Logic and Algebraic Programming 60-61 (2004) 17-139
17. J.A. Verdejo. Maude como um marco semântico ejecutable. PhD thesis, Universidad Complutense de Madrid, 2003