An Implementation of Object-Oriented Action Semantics in Maude - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

LFL: A Library of Generic Classes for Object-Oriented Action SemanticsMarcelo Araújo, Martin A. Musicante. sccc 2004: 39-47 [doi]

Object-Oriented Action Semantics SpecificationsCláudio Carvilhe, Martin A. Musicante. jucs, 9(8):910-934, 2003. [doi]

Using Visitor Patterns in Object-Oriented Action SemanticsAndré Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante. jucs, 13(6):891-919, 2007. [doi]

runs on WebDSL