Abstract data types and software validation
Communications of the ACM
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
Traversable stack with fewer errors
ACM SIGPLAN Notices
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
ACM SIGPLAN Notices
On the adequacy of finite equational methods for data type specification
ACM SIGPLAN Notices
| Hi-index | 0.00 |