CLAP 发表于 2025-3-28 18:13:17

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

Latency 发表于 2025-3-28 20:11:05

Decent Work and Economic Growthtics 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.

ectropion 发表于 2025-3-29 00:49:36

https://doi.org/10.1007/978-1-4612-4962-7Boolean algebra; computer; control; evolution; formal language; formal languages; functional programming; m

angina-pectoris 发表于 2025-3-29 05:19:32

978-1-4612-9377-4Springer Science+Business Media New York 1986

BROTH 发表于 2025-3-29 07:24:32

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

nullify 发表于 2025-3-29 14:04:55

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

Expediency 发表于 2025-3-29 16:08:27

Collective Employment AgreementsThe previous chapter considered a number of situations in which an object of semantic interest arises as the least fixed point of a continuous map .:(., ≤)→(., ≤) of some domain (., ≤). So far, the domain structure is but a technical device to distinguish the . fixpoint from the other fixed points.

Initiative 发表于 2025-3-29 20:48:56

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

我还要背着他 发表于 2025-3-30 02:29:38

https://doi.org/10.1007/978-3-319-95867-5Just as posets generalize categories, the Kleene fixed point theorem of . generalizes to provide a “co-continuous” endofunctor ψ: .→. with a least fixed point as the “colimit” of the “right chain”

Control-Group 发表于 2025-3-30 06:09:40

Assertion SemanticsIn the introductory Section 4.1 we informally define partial correctness assertions and notions relating to weakest preconditions with the Pascal fragment of Section 1.2 in mind. Here, we state a number of well-known properties and proof rules whose truth is intuitively evident.
页: 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