Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
An implementation of object-oriented action semantics in Maude
Semantics and algebraic specification
Hi-index | 0.00 |