MUTED
发表于 2025-3-25 03:34:53
Siddhartha Mishra,Christoph Schwabre more complicated than others but it is often the case that specifiers of software think in terms of units which are too small. Many specifications can be expressed using . data items, but in a way which does not unduly constrain their subsequent refinement down to an implementation. Using the con
epidermis
发表于 2025-3-25 10:10:49
http://reply.papertrans.cn/24/2360/235973/235973_22.png
深渊
发表于 2025-3-25 11:38:20
Gonzalo Rivas-Torres,Damian C. Adams The coverage is by no means complete, in particular there is little attention paid to the creation of clever internal data structures. Our major concern is the detailed application, and a certain amount of customisation., of the general transfinement tactics described earlier.
Pamphlet
发表于 2025-3-25 18:29:45
María de Lourdes Torres,Carlos F. Menantions to two further examples which illustrate different aspects of algorithm design. These are two important, if unfamiliar, problems which can both be represented pictorially. We could follow them through right down to the level of complete PDL implementations; however, we shall stop at an earlie
碎片
发表于 2025-3-25 23:35:08
https://doi.org/10.1007/978-3-319-67017-1We do not advocate that Chapter 2A should necessarily be read sequentially and in its entirety. Probably the best approach is to study Sections 2.3.1/2 (Booleans) and 2.3.4 (Integers). Other parts of Section 2.3 can be consulted and studied when necessary. Section 2.4 includes an example of how transformations can be used to manipulate programs.
Mri485
发表于 2025-3-26 03:32:38
Gonzalo Rivas-Torres,María Gloria RivasSo far we have only considered specifications and designs of programs which carry out computations; i.e. situations where, given suitable data, we compute an appropriate result and deposit it in a named location (which was hitherto unused).
Anticonvulsants
发表于 2025-3-26 05:38:50
Transformations II,We do not advocate that Chapter 2A should necessarily be read sequentially and in its entirety. Probably the best approach is to study Sections 2.3.1/2 (Booleans) and 2.3.4 (Integers). Other parts of Section 2.3 can be consulted and studied when necessary. Section 2.4 includes an example of how transformations can be used to manipulate programs.
生气的边缘
发表于 2025-3-26 09:58:11
The Broader Picture,So far we have only considered specifications and designs of programs which carry out computations; i.e. situations where, given suitable data, we compute an appropriate result and deposit it in a named location (which was hitherto unused).
中世纪
发表于 2025-3-26 16:12:50
http://reply.papertrans.cn/24/2360/235973/235973_29.png
长矛
发表于 2025-3-26 17:36:34
http://reply.papertrans.cn/24/2360/235973/235973_30.png