Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Communications of the ACM
An improved equivalence algorithm
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Computing in Systems Described by Equations
Computing in Systems Described by Equations
On proving inductive properties of abstract data types
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An interpreter generator using tree pattern matching
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Stepwise Specification and Implementation of Abstract Data Types
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness
Proceedings of the 7th Colloquium on Automata, Languages and Programming
A Model-Theoretic Approach to Specification, Extension, and Implementation
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
A Case Study of Abstract Implementations and Their Correctness
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
A note on the constructors of the computable universe
ACM SIGACT News
Hi-index | 0.01 |