The algebraic specification of abstract data types

• 1 January 1978
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 10  (1) , 27-52
• https://doi.org/10.1007/bf00260922

Abstract

Keywords

• GUIDELINES
• IMPLEMENTATION
• ABSTRACT DATA TYPES
• EMBEDDING
• LANGUAGES
• FORMAL
• ALGEBRAIC
• SPECIFY