Summary: Introduction
Maude MSOS Tool
Object-Oriented Action Semantics
Constructive Action Semantics
Maude Object-Oriented Action Tool
Constructive Object-Oriented Action Semantics
Final Remarks and Future Work
Maude Object-Oriented Action Tool
Andr´e Murbach Maidl1 Cl´audio Carvilhe2
Martin A. Musicante3
1Universidade Federal do Paran´a
2Pontif´icia Universidade Cat´olica do Paran´a
3Universidade Federal do Rio Grande do Norte
Logical and Semantic Frameworks, with Applications 2007
1 / 26
Introduction
Maude MSOS Tool
Object-Oriented Action Semantics
Constructive Action Semantics
Maude Object-Oriented Action Tool

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics