On the data type extension problem for algebraic specifications

DOI10.1016/0304-3975(85)90022-2zbMath0552.68013OpenAlexW2022857347MaRDI QIDQ801668

Michio Oyamaguchi

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90022-2

zbMATH Keywords

abstract data typealgebra semantics of algebraic specifications

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

On the data type extension problem for algebraic specifications

Cites Work

• Unnamed Item
• Unnamed Item
• On the data type extension problem for algebraic specifications
• Final algebra semantics and data type extensions
• The algebraic specification of abstract data types
• Abstract data types and software validation

This page was built for publication: On the data type extension problem for algebraic specifications