Action transformation by partial evaluation
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
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
Action semantics reasoning about functional programs
Mathematical Structures in Computer Science
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
An action compiler targeting Standard ML
Science of Computer Programming
An Action Compiler Targeting Standard ML
Electronic Notes in Theoretical Computer Science (ENTCS)
Action semantics in retrospect
Semantics and algebraic specification
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Hi-index | 0.00 |