相反放置
发表于 2025-3-26 22:30:11
http://reply.papertrans.cn/16/1528/152749/152749_31.png
BAIL
发表于 2025-3-27 01:17:35
Nora Lämmel,Jutta Mohr,Karin Reiberasoning to . programs, in the same way that one calculates numeric values in arithmetic. Many useful theorems for such reasoning derive from an . view of programs, built around datatypes and their operations. Traditional algebraic methods concentrate on initial algebras, constructors, and values; du
extract
发表于 2025-3-27 07:37:24
http://reply.papertrans.cn/16/1528/152749/152749_33.png
同来核对
发表于 2025-3-27 10:17:18
http://reply.papertrans.cn/16/1528/152749/152749_34.png
为现场
发表于 2025-3-27 14:22:07
https://doi.org/10.1007/978-3-642-34543-2nd verification . This need has not been answered by a single grand unified theory; on the contrary the great variety of programming languages and paradigms has led to an equally large number of different and, in most cases, incompatible formalisms. This diversity is of growing concern to academia a
Efflorescent
发表于 2025-3-27 17:47:47
Roland Backhouse,Roy Crole,Jeremy GibbonsIncludes supplementary material:
progestin
发表于 2025-3-27 23:24:43
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152749.jpg
Needlework
发表于 2025-3-28 03:04:54
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction978-3-540-47797-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
Toxoid-Vaccines
发表于 2025-3-28 09:46:07
Die Delphi-Methode – eine Einführung particular kind of tree. The notion is dual to the more familiar notion of an initial algebra and structural recursion on an initial algebra. The chapter starts with the paradigm syntactic examples of initial algebras, the term algebras.
landfill
发表于 2025-3-28 11:32:43
Isaac J. Dripps,Emily M. Jutkiewiczns, is introduced. A methodology of recursive program design based on the use of hylo equations is presented. Current research on generalisations of well-foundedness and inductive properties of relations, making these properties relative to a datatype, is introduced.