Equational specification of partial higher-order algebras

DOI10.1016/0304-3975(88)90162-4zbMath0644.68031OpenAlexW2001195305MaRDI QIDQ1102736

Manfred Broy

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90162-4

zbMATH Keywords

algebraic specifications of abstract data types

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Equational classes, universal algebra in model theory (03C05)

Related Items (1)

A first order logic for partial functions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A systematic study of models of abstract data types
• On hierarchies of abstract data types
• PORTAL language description
• Algebraic implementations preserve program correctness
• Programming in a wide spectrum language: A collection of examples
• Algebraic implementation of abstract data types
• Partial abstract types
• The algebraic specification of abstract data types
• Proof of correctness of data representations
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Initial Algebra Semantics and Continuous Algebras
• Abstract data types and software validation
• Heterogeneous algebras

This page was built for publication: Equational specification of partial higher-order algebras