Login / Signup

Procedural specifications and implementations for abstract data types.

Antonio L. FurtadoPaulo A. S. Veloso
Published in: ACM SIGPLAN Notices (1981)
Keyphrases