André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante. An Implementation of Object-Oriented Action Semantics in Maude. In Jens Palsberg, editor, Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Volume 5700 of Lecture Notes in Computer Science, pages 81-105, Springer, 2009. [doi]
@inproceedings{MaidlCM09,
title = {An Implementation of Object-Oriented Action Semantics in Maude},
author = {André Murbach Maidl and Cláudio Carvilhe and Martin A. Musicante},
year = {2009},
doi = {10.1007/978-3-642-04164-8_5},
url = {http://dx.doi.org/10.1007/978-3-642-04164-8_5},
tags = {semantics, meta-model, action semantics, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/MaidlCM09},
cites = {0},
citedby = {0},
pages = {81-105},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday},
editor = {Jens Palsberg},
volume = {5700},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04163-1},
}