构想 发表于 2025-3-25 05:02:51

http://reply.papertrans.cn/16/1526/152548/152548_21.png

FILLY 发表于 2025-3-25 10:28:22

http://reply.papertrans.cn/16/1526/152548/152548_22.png

让空气进入 发表于 2025-3-25 14:05:57

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

受人支配 发表于 2025-3-25 17:10:09

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 发表于 2025-3-25 22:29:46

http://reply.papertrans.cn/16/1526/152548/152548_25.png

B-cell 发表于 2025-3-26 02:06:14

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.

指派 发表于 2025-3-26 07:54:21

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

合乎习俗 发表于 2025-3-26 11:15:09

http://reply.papertrans.cn/16/1526/152548/152548_28.png

organic-matrix 发表于 2025-3-26 15:14:26

http://reply.papertrans.cn/16/1526/152548/152548_29.png

optic-nerve 发表于 2025-3-26 18:13:36

http://reply.papertrans.cn/16/1526/152548/152548_30.png
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Algebraic Approaches to Program Semantics; Ernest G. Manes,Michael A. Arbib Book 1986 Springer Science+Business Media New York 1986 Boolea