Specifications of Majster's traversable stack and Veloso's traversable stack

Publisher Website

1 May 1979

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 14 (5) , 46-53
https://doi.org/10.1145/988090.988096

Abstract

No abstract available

This publication has 6 references indexed in Scilit:

Traversable stack with fewer errors
ACM SIGPLAN Notices, 1979
Abstract data types and software validation
Communications of the ACM, 1978
On a finite axiomatization of the data type L
ACM SIGPLAN Notices, 1978
A note on some limits of the algebraic specification method
ACM SIGPLAN Notices, 1978
Data type specification
Published by Association for Computing Machinery (ACM) ,1978
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices, 1977