Perennial长期的
发表于 2025-3-25 04:02:03
http://reply.papertrans.cn/63/6270/626962/626962_21.png
prick-test
发表于 2025-3-25 11:16:57
Mathematics of Program Construction978-3-540-45442-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
AVERT
发表于 2025-3-25 14:14:19
http://reply.papertrans.cn/63/6270/626962/626962_23.png
neurologist
发表于 2025-3-25 19:24:05
From Kleene Algebra to Refinement AlgebraKleene Algebra with Tests (KAT) has proved to be useful for reasoning about programs in a partial correctness framework. We describe Demonic Refinement Algebra (DRA), a variation of KAT for total correctness and illustrate its modeling and reasoning power with a number of applications and examples.
Medley
发表于 2025-3-25 23:13:56
Eerke A. Boiten,Bernhard MöllerIncludes supplementary material:
散开
发表于 2025-3-26 02:47:26
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626962.jpg
CRUMB
发表于 2025-3-26 04:38:05
https://doi.org/10.1007/3-540-45442-XD programming language; Haskell; Variable; algorithms; computer science; language; program transformation;
conception
发表于 2025-3-26 09:24:18
http://reply.papertrans.cn/63/6270/626962/626962_28.png
adjacent
发表于 2025-3-26 15:11:55
Type-Indexed Data Typestype by induction on the structure of the type of search keys. This paper shows how to define type-indexed data types, discusses several examples of type-indexed data types, and shows how to specialize type-indexed data types. The approach has been implemented in ., a generic programming extension of the functional language Haskell.
打击
发表于 2025-3-26 20:07:20
http://reply.papertrans.cn/63/6270/626962/626962_30.png