Clinch
发表于 2025-3-28 17:35:59
978-0-387-97375-3Springer-Verlag New York 1990
首创精神
发表于 2025-3-28 18:57:50
Mathematical Foundations of Programming Semantics978-0-387-34808-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
STERN
发表于 2025-3-28 23:59:45
http://reply.papertrans.cn/63/6262/626159/626159_43.png
obtuse
发表于 2025-3-29 06:42:36
http://reply.papertrans.cn/63/6262/626159/626159_44.png
其他
发表于 2025-3-29 10:12:08
http://reply.papertrans.cn/63/6262/626159/626159_45.png
CLAN
发表于 2025-3-29 11:27:19
A category-theoretic semantics for unbounded indeterminacy,categorical analogues of continuity and has the meaning of while loops defined as colimits of ω-diagrams. Furthermore, it collapses via an abstraction function to a semantics that is fully abstract, and coincides with the operational semantics. The abstraction function is the only discontinuous function appearing in our semantics.
异常
发表于 2025-3-29 18:45:39
An algebraic formulation for data refinement,ly reformulated and unified in terms of two principal category theoretic notions: those of an enriched category and monad, also known as a triple. The requisite definitions and theory are given, together with several examples to illustrate precisely how Hoare‘s work, including his main theorem may be seen in this light.
脆弱吧
发表于 2025-3-29 21:54:04
http://reply.papertrans.cn/63/6262/626159/626159_48.png
paltry
发表于 2025-3-30 01:54:23
http://reply.papertrans.cn/63/6262/626159/626159_49.png
释放
发表于 2025-3-30 07:43:36
http://reply.papertrans.cn/63/6262/626159/626159_50.png