Paper Info
Title
An implementation of object-oriented action semantics in Maude
Abstract
We present Maude Object-Oriented Action Tool, an executable environment that incorporates elements from for Object-Oriented and Constructive Action Semantics. Our tool is implemented as a conservative extension of Full Maude and Maude MSOS Tool. The syntax used by our tool is fairly similar to the one used by the original Action Semantics formalism. Furthermore, we present an Object-Oriented Action Semantics library of classes, capable of supporting constructive (object-oriented) action semantics.
Year
DOI
Venue
2009
10.1007/978-3-642-04164-8_5
Semantics and Algebraic Specification
Keywords
Field
DocType
executable environment,conservative extension,original action semantics formalism,maude msos tool,maude object-oriented action tool,object-oriented action semantics,action semantics,object-oriented action semantics library,constructive action semantics,full maude,object oriented
Programming language,Object-oriented programming,Computer science,Constructive,Action semantics,Abstract syntax,Formalism (philosophy),Conservative extension,Syntax,Executable
Conference
Volume
ISSN
ISBN
5700
0302-9743
3-642-04163-9
Citations 
PageRank 
References 
0
0.34
17
Authors
3
Name
Order
Citations
PageRank
André Murbach Maidl1173.10
Cláudio Carvilhe282.21
Martin A. Musicante39820.47