Abstract data types and the development of data structures
Communications of the ACM
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 some limits of the algebraic specification method
ACM SIGPLAN Notices
On a finite axiomatization of the data type L
ACM SIGPLAN Notices
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
Journal of the ACM (JACM)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the adequacy of finite equational methods for data type specification
ACM SIGPLAN Notices
On the semantics of control statements
ACM SIGPLAN Notices
Elementary algebraic specifications of the rational function field
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
| Hi-index | 0.00 |