Graphite
发表于 2025-3-28 16:38:43
On the use of elements of functional programming in program development by transformations,nal program development. Formal transformation rules have been given which allow the introduction (or also the elimination) of such elements into programs that are subject to a development. For the proof of any of these rules computational respectively transformational induction has been applied. Th
使熄灭
发表于 2025-3-28 21:36:50
Transformational development of circuit descriptions for binary adders,preserving transformations. Using this programming technique, circuit descriptions for different binary adders are derived, viz. the parallel adder, the serial adder, and the carry look-ahead adder. This case study aims at transferring notions and methods from programming to hardware description and
职业拳击手
发表于 2025-3-28 23:50:18
http://reply.papertrans.cn/64/6325/632413/632413_43.png
自爱
发表于 2025-3-29 03:32:35
http://reply.papertrans.cn/64/6325/632413/632413_44.png
GRAIN
发表于 2025-3-29 10:25:32
http://reply.papertrans.cn/64/6325/632413/632413_45.png
Creatinine-Test
发表于 2025-3-29 12:32:27
Programs viewed as Skolem functions,ion rule that formalizes .‘s idea of quantifier elimination. From this entry on, programs are subjects of mathematical theorems, technically speaking, they are sub-expressions of logical expressions. They should not be isolated from this environment throughout the whole program development for two reasons:
流利圆滑
发表于 2025-3-29 17:44:36
Transformational development of circuit descriptions for binary adders,preserving transformations. Using this programming technique, circuit descriptions for different binary adders are derived, viz. the parallel adder, the serial adder, and the carry look-ahead adder. This case study aims at transferring notions and methods from programming to hardware description and design.
OVER
发表于 2025-3-29 22:51:08
https://doi.org/10.1007/BFb0018265CIP-Methode; CIP-approachch; Program Construction; Program Development; Programm-Entwicklung; Programm-Ko
anthropologist
发表于 2025-3-30 00:26:19
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/632413.jpg
迁移
发表于 2025-3-30 07:29:32
http://reply.papertrans.cn/64/6325/632413/632413_50.png