Equational specification of partial higher-order algebras
type: Item
instance of: scholarly article
title: Equational specification of partial higher-order algebras
zbMATH Open document ID: 0644.68031
DOI: 10.1016/0304-3975(88)90162-4
author: Manfred Broy
published in: Theoretical Computer Science
publication date: 1988-01-01T00:00:00Z
review text: The theory of algebraic abstract types specified by positive conditional formulas formed of equations and a definedness predicate is outlined and extended to hierarchical types with ``nonstrict'' operations, partial and even infinite objects. Its model theory is based on the concept of partial interpretations. Deduction rules are given, too. Models of types are studied where all explicit equations have solutions. The inclusion of higher-order types, i.e., types comprising higher-order functions leads to an algebraic (``equational'') specification of algebras including sorts with ``infinite'' objects and higher-order functions (``functionals'').
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 4050961
zbMATH Keywords: algebraic specifications of abstract data types
MaRDI profile type: Publication
full work available at URL: 0304-3975(88)90162-4
OpenAlex ID: W2001195305
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Programming in a wide spectrum language: A collection of examples
cites work: Heterogeneous algebras
cites work: Q3339253
cites work: Q3954806
cites work: Partial abstract types
cites work: Q3672054
cites work: A systematic study of models of abstract data types
cites work: Algebraic implementations preserve program correctness
cites work: PORTAL language description
cites work: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
cites work: Q3888509
cites work: Q3221381
cites work: Algebraic implementation of abstract data types
cites work: Q5572358
cites work: The algebraic specification of abstract data types
cites work: Abstract data types and software validation
cites work: Proof of correctness of data representations
cites work: Q3703312
cites work: Q5812175
cites work: Q4124327
cites work: Q3680247
cites work: Q3694667
cites work: Q3883462
cites work: On hierarchies of abstract data types
description: scientific article; zbMATH DE number 4050961