POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiling actions by partial evaluation
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
A rewriting logic approach to operational semantics
Information and Computation
Action semantics in retrospect
Semantics and algebraic specification
Order-sorted parameterization and induction
Semantics and algebraic specification
An action semantics based on two combinators
Semantics and algebraic specification
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
| Hi-index | 0.00 |