Methodical specification of abstract data types via rewriting systems

DOI10.1007/BF01001954zbMATH Open0507.68001OpenAlexW2019110552MaRDI QIDQ4745236FDOQ4745236

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
• Comparing data type specifications via their normal forms
• Abstract data types and the development of data structures
• 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)