Abstract
Algorithmic specifications of abstract data types have been introduced in [Lo 81a]. While being strongly related to the algebraic specification method used by e. g. [GH 78a, GHM 78b, Mu 80] the algorithmic specification method avoids several of its problems; it provides for instance an elegant way for handling undefined and error values; moreover it is felt to be easier to use for the specification of non-trivial data types.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
