Algebraic solutions to recursion schemes
type: Item
instance of: scholarly article
title: Algebraic solutions to recursion schemes
zbMATH Open document ID: 0637.68018
DOI: 10.1016/0022-0000(87)90020-1
author: David B. Benson
author: Irène Guessarian
published in: Journal of Computer and System Sciences
publication date: 1987-01-01T00:00:00Z
review text: The search for solutions of the set of equations associated with recursion schemes of programs and the description of the set of such solutions constitute one of the principal problems in modern schematics. The paper deals with the algebraic theory of recursion schemes which includes tree algebras and the algebras obtained from congruence on trees. Special attention is paid to the description of denotational semantics for non-determined computations and for communicating processes. Some of the obtained results are of interest within the framework of the abstract data types theory which is intensively developing now. The apparatus of the categorical theory and the mechanisms of the search for fixed points, in particular, minimal and maximal ones, is employed. The review of relevant investigations concerning the outlined problematics is given in the paper together with the previously obtained results.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03D80
zbMATH DE Number: 4039262
zbMATH Keywords: recursion schemes
zbMATH Keywords: tree algebras
zbMATH Keywords: congruence on trees
zbMATH Keywords: denotational semantics
zbMATH Keywords: abstract data types
zbMATH Keywords: fixed points
reviewed by: Georgiy E. Tseytlin
MaRDI profile type: Publication
full work available at URL: 0022-0000(87)90020-1
OpenAlex ID: W2037503821
cites work: Q3325069
cites work: Tree constructions of free continuous algebras
cites work: Q4134935
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Natural state transformations
cites work: Q4152697
cites work: The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
cites work: Metric interpretations of infinite trees and semantics of non deterministic recursive programs
cites work: Q3900995
cites work: Completions of Partially Ordered Sets
cites work: Parameter passing in nondeterministic recursive programs
cites work: Fixed points in free process algebras. I
cites work: Algebra of communicating processes with abstraction
cites work: Varieties of ordered algebras
cites work: All solutions of a system of recursion equations in infinite trees and other contraction theories
cites work: The existence and construction of free iterative theories
cites work: Q3945564
cites work: Q5515373
cites work: Fundamental properties of infinite trees
cites work: Q3912630
cites work: Q3854596
cites work: The IO- and OI-hierarchies
cites work: Q4091917
cites work: IO and OI. II
cites work: Corrigendum to ``DPDA's in ``atomic normal form'' and applications to equivalence problems''
cites work: n-Rational Algebras I. Basic Properties and Free Algebras
cites work: Recursion-closed algebraic theories
cites work: Regular trees and the free iterative theory
cites work: Q4191573
cites work: Q3738547
cites work: Q3317088
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Acceptance trees
cites work: Q3907039
cites work: Q5682456
cites work: Q3965241
cites work: On the algebra of order
cites work: Algebraic specification of data types: A synthetic approach
cites work: Q5639839
cites work: Functional behavior of nondeterministic and concurrent programs
cites work: Q3950708
cites work: Q3735051
cites work: Varieties of chain-complete algebras
cites work: Iterative algebras
cites work: Q4766003
cites work: A Powerdomain Construction
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: On the relationships between Scott domains, synchronization trees, and metric spaces
cites work: Q5685626
cites work: Q4195918
cites work: Q5666704
cites work: Q4185836
cites work: Unique fixed points vs. least fixed points
description: scientific article; zbMATH DE number 4039262