Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
The ABACO System - An Algebraic Based Action COmpiler
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Proceedings of the 8th international workshop on Specification and verification of component-based systems
An action semantics based on two combinators
Semantics and algebraic specification
| Hi-index | 0.00 |