Titlebook: Algebraic Approaches to Program Semantics; Ernest G. Manes,Michael A. Arbib Book 1986 Springer Science+Business Media New York 1986 Boolea

构想

FILLY

让空气进入

Fixed Points in Metric Spaceseas of mathematics. In Section 9.1 we prove a classical result due (essentially) to S. Banach that under appropriate hypotheses, an endomorphism . of a nonempty metric space has a unique fixed point .—indeed . is the limit (in the sense of ever decreasing distance) of the sequence ..,..,....,… with

受人支配

Functors combining, manipulating, and querying of such elements. A very rich supply of data types may be built—either directly or recursively—from finite sets using finite products and coproducts. Thus, if . is a character alphabet, . x . x . is “length 3 character arrays.” If pr.: . x . x . → . is the .th

critic

B-cell

Order Semantics of Data Typestics in which every data type is a domain and every computed function is continuous. We provide a critique of these basic assumptions in Section 1, but then proceed to develop an introduction to this theory of ordered semantics in the remaining sections.

指派

Equational Specifications of data types which arise as many-sorted algebras. An “equational specification” for a data type posits a many-sorted algebraic structure subject to a finite set of equations. What is attractive about this idea is that equational specifications are easily formalized within programming languages an

合乎习俗

organic-matrix

optic-nerve