Constrained equational reasoning
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Rewriting as a unified model of concurrency
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Industrial strength compiler construction with equations
ACM SIGPLAN Notices
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Automated deduction for verification
ACM Computing Surveys (CSUR)
Rewriting, inference, and proof
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Building a modal interface theory for concurrency and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Rewriting as a unified specification tool for logic and control: the ELAN language
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Compilation techniques for associative-commutative normalisation
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
| Hi-index | 0.00 |