Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction Maude MSOS Tool
 

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