Equational specification of partial higher-order algebras

DOI10.1016/0304-3975(88)90162-4MaRDI QIDQ1102736zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Publication:3028333
• scientific article; zbMATH DE number 3986625
• scientific article; zbMATH DE number 176127
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• scientific article; zbMATH DE number 92597

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3872646 (Why is no real title available?)
• scientific article; zbMATH DE number 3825899 (Why is no real title available?)
• scientific article; zbMATH DE number 3902005 (Why is no real title available?)
• scientific article; zbMATH DE number 3919789 (Why is no real title available?)
• scientific article; zbMATH DE number 3930372 (Why is no real title available?)
• scientific article; zbMATH DE number 3688682 (Why is no real title available?)
• scientific article; zbMATH DE number 3694565 (Why is no real title available?)
• scientific article; zbMATH DE number 3774871 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A systematic study of models of abstract data types
• Abstract data types and software validation
• Algebraic implementation of abstract data types
• Algebraic implementations preserve program correctness
• Heterogeneous algebras
• Initial Algebra Semantics and Continuous Algebras
• On hierarchies of abstract data types
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• PORTAL language description
• Partial abstract types
• Programming in a wide spectrum language: A collection of examples
• Proof of correctness of data representations
• The algebraic specification of abstract data types

Cited in

(14)

• scientific article; zbMATH DE number 408803 (Why is no real title available?)
• scientific article; zbMATH DE number 176490 (Why is no real title available?)
• scientific article; zbMATH DE number 92597 (Why is no real title available?)
• scientific article; zbMATH DE number 176127 (Why is no real title available?)
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• Consistency and semantics of equational definitions over predefined algebras
• scientific article; zbMATH DE number 2079668 (Why is no real title available?)
• scientific article; zbMATH DE number 517014 (Why is no real title available?)
• scientific article; zbMATH DE number 4016180 (Why is no real title available?)
• scientific article; zbMATH DE number 4078770 (Why is no real title available?)
• A first order logic for partial functions (extended abstract)
• scientific article; zbMATH DE number 1372677 (Why is no real title available?)
• scientific article; zbMATH DE number 3986625 (Why is no real title available?)
• Higher-order algebra with transfinite types

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

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