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)
Modeling inheritance as coercion in a symbolic computation system
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Structured specifications and implementation of nondeterministic data types
Nordic Journal of Computing
Term Rewriting in a Logic of Special Relations
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Formal representation of reuseable software modules
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Category-based constraint logic
Mathematical Structures in Computer Science
Action semantics reasoning about functional programs
Mathematical Structures in Computer Science
Order-sorted parameterization and induction
Semantics and algebraic specification
On the specification and verification of model transformations
Semantics and algebraic specification
| Hi-index | 0.00 |