Equational specification of partial higher-order algebras

DOI10.1016/0304-3975(88)90162-4zbMATH Open0644.68031OpenAlexW2001195305MaRDI QIDQ1102736FDOQ1102736

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)

Cites Work

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

Cited In (10)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Consistency and semantics of equational definitions over predefined algebras
• Title not available (Why is that?)
• A first order logic for partial functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types 👍 👎
• Title not available (Why is that?) 👍 👎

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)