CARK 发表于 2025-3-23 11:16:10

Book 2003grams. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, curren

KEGEL 发表于 2025-3-23 16:37:29

http://reply.papertrans.cn/83/8225/822468/822468_12.png

Glaci冰 发表于 2025-3-23 18:54:24

Maximal Static Expansiones has a cost. The increase in memory is an obvious cost. However, other costs discussed below may also be incurred. Therefore, a general problem arises: Given a cost criterion, what expansion provides maximum parallelism at the lowest cost?

狂热语言 发表于 2025-3-24 01:00:04

Introductionbook is mainly about algorithms (and how imperative programming hides them), we start with a simple experiment involving some generic concept of a “computing device.” Indeed, the term “computing device” is intentionally fuzzy to stress the fact that most of the discussion in this chapter—and through

Enrage 发表于 2025-3-24 06:21:46

http://reply.papertrans.cn/83/8225/822468/822468_15.png

QUAIL 发表于 2025-3-24 08:23:34

http://reply.papertrans.cn/83/8225/822468/822468_16.png

庄严 发表于 2025-3-24 14:13:07

http://reply.papertrans.cn/83/8225/822468/822468_17.png

雪白 发表于 2025-3-24 18:39:11

http://reply.papertrans.cn/83/8225/822468/822468_18.png

Libido 发表于 2025-3-24 22:24:39

Conclusion: Toward Algorithm Recognitionboth the program and the target computer, then it could ideally translate the former into the best possible code for the latter, couldn’t it? So what is the best possible understanding of a program? Wouldn’t it be to extract the algorithm the programmer had in mind when he or she originally wrote hi

使成核 发表于 2025-3-24 23:53:28

http://reply.papertrans.cn/83/8225/822468/822468_20.png
页: 1 [2] 3 4 5
查看完整版本: Titlebook: Reasoning About Program Transformations; Imperative Programmi Jean-François Collard Book 2003 Springer Science+Business Media New York 2003