Methodical specification of abstract data types via rewriting systems

DOI10.1007/BF01001954MaRDI QIDQ4745236zbMATH OpenOpenAlexFDO

Authors Paulo A. S. Veloso

Publication date 1982

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01001954

zbMATH Keywords

abstract data typesrewriting systemsformal specificationspecification methodologycanonical terms

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Cites work

• Abstract data types and software validation
• Abstract data types and the development of data structures
• Comparing data type specifications via their normal forms
• Complementary definitions of programming language semantics

This page was built for publication: Methodical specification of abstract data types via rewriting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4745236)