fringe
发表于 2025-3-25 03:19:14
A categorical view of weakest liberal preconditions,cate transformers as defining sets of morphisms. A precise formulation of this idea shows that it is mathematically natural. We give two constructions: one, ., taking predicate transformers to sets of morphisms; and the other, . taking sets of morphisms to predicate transformers The naturality is sh
吸引力
发表于 2025-3-25 08:45:29
http://reply.papertrans.cn/23/2226/222554/222554_22.png
骗子
发表于 2025-3-25 13:11:05
http://reply.papertrans.cn/23/2226/222554/222554_23.png
逃避现实
发表于 2025-3-25 19:11:01
Category theory and programming language semantics: An overview, included those uses of category theory which I have found particularly useful for understanding type theory, domain theory and algebraic semantics. Therefore, several things have been excluded, such as Arbib and Manes‘ (1980) partially additive semantics and Winskel‘s (1984) categories of Petri net
Albinism
发表于 2025-3-25 22:27:32
A categorical view of weakest liberal preconditions,employ this setting to re-examine weakest liberal precondition semantics, and provide a new interpretation which is sounder mathematically and, we claim, more in line with what is really needed in program specification..We begin by replacing predicates by equalizers. Weakest liberal preconditions ar
PUT
发表于 2025-3-26 03:26:17
Functor-category semantics of programming languages and logics,es. The first application was an “abstract” description of stack-oriented storage management in Algol 60-like programming languages. A more recent application has been to obtain a model of Reynolds‘s “specification logic” that is non-operational and validates certain intuitively-true axioms; this ap
巨头
发表于 2025-3-26 06:41:03
Galois connections and computer science applications,plified and better understood when Galois insertions are used. In particular, the proof of correctness of an implementation follows simply from the construction of a Galois insertion. We plan further applications of Galois connections theory to computing-related problems.
轿车
发表于 2025-3-26 11:21:14
http://reply.papertrans.cn/23/2226/222554/222554_28.png
高尔夫
发表于 2025-3-26 16:32:31
http://reply.papertrans.cn/23/2226/222554/222554_29.png
Mucosa
发表于 2025-3-26 19:27:32
http://reply.papertrans.cn/23/2226/222554/222554_30.png