Methodical specification of abstract data types via rewriting systems

DOI10.1007/BF01001954zbMath0507.68001OpenAlexW2019110552MaRDI QIDQ4745236

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

formal specificationrewriting systemsabstract data typesspecification methodologycanonical terms

Mathematics Subject Classification ID

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

Cites Work

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

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