Concepts, Techniques, and Models of Computer Programming - Chapter 10 pps

... instead of programming in models. We start from the declarative programming techniques of Chapter 3 and add state and concurrency ex- actly where it is needed. This is a practical example of combining ... directly with QTk. This chapter gives most of the key ideas underlying QTk but only shows a small fraction of the available widgets. Structure of the chapter The...

Ngày tải lên: 14/08/2014, 10:22

... A typical low-cost personal computer with 64 MB of memory can handle hundreds of thousands of digits. The skeptical reader will ask: is this huge number really the factorial of 100 ? How can we ... Wizard of Oz, L. Frank Baum (1856–1919) Programming is telling a computer how it should do its job. This chapter gives a gentle, hands-on introduction to many of the most impor...

Ngày tải lên: 14/08/2014, 10:22

... introduces the lazy concurrent model and gives some of the most important programming techniques, including lazy streams and list compre- hensions. • Soft real-time programming. Section 4.6 explains ... roots of declarative concurrency. Concurrency is also a key part of three other chapters. Chapter 5 extends the eager model of the present chapter with a simple kind of...

Ngày tải lên: 14/08/2014, 10:22

... ?X} X= (10* {Digit}+{Digit})* (10* {Digit}+{Digit}) % Generate (X>0)=true % Test 1 (X> =100 0)=true % Test 2 (X div 100 0) mod 10 = (X div 1) mod 10 % Test 3 (X div 100 ) mod 10= (Xdiv 10) mod 10 % ... some other computation models: • Adding concurrency to the declarative model gives the data-driven and demand-driven concurrent models. These models also do logic program...

Ngày tải lên: 14/08/2014, 10:22

... Concurrent ML [158] and Concurrent Haskell [149, 147]). Copyright c  200 1-3 by P. Van Roy and S. Haridi. All rights reserved. Concepts, Techniques, and Models of Computer Programming PETER VAN ... appropriate. Copyright c  200 1-3 by P. Van Roy and S. Haridi. All rights reserved. x CONTENTS 7.5 Relationtoothercomputationmodels 543 7.5.1 Object-basedandcomponent-base...

Ngày tải lên: 14/08/2014, 10:22

... of many other techniques. This book focuses on three in particu- lar: object-oriented programming, graphical user interface (GUI) design, and component-based programming. In object-oriented programming, ... with single-shot channels. Chapters 4 and 5 show other types of channels (with sequences of messages) and do concurrent composition of processes. Copyright c  200 1-3 b...

Ngày tải lên: 14/08/2014, 10:22

... instead of standard lists: • Flatten of nil is X#X (empty difference list). • Flatten of X|Xr where X is a nested list, is Y1#Y4 where flatten of X is Y1#Y2, flatten of Xr is Y3#Y4 ,and equate Y2 and ... removing more and more of the left-hand part of T2. Eventually, T2’s left subtree is removed completely and the right subtree takes its place. Continuing in this way, T2 shr...

Ngày tải lên: 14/08/2014, 10:22

... in the larger context of component-based programming. Because of message-passing concurrency we no longer have the limitations of the synchronous “lock-step” execution of Chapter 4. We first introduce ... tuples: area({square, Side}) -& gt; Side*Side; area({rectangle, X, Y}) -& gt; X*Y; area({circle, Radius}) -& gt; 3.14159*Radius*Radius; area({triangle, A, B, C}) -& gt;...

Ngày tải lên: 14/08/2014, 10:22

... Algol-60 and structured programming [46, 45, 130], which led to Simula-67 and object-oriented program- ming [137, 152]. 2 This book sticks to the traditional usage of declarative as stateless and ... the operations of the abstract data type. This idea is at the heart of object-oriented programming, a powerful programming style that is elaborated in Chapter 7. The present c...

Ngày tải lên: 14/08/2014, 10:22

... The first way, often-used in object-oriented programming, uses inheritance. The second way uses higher-order programming. We will see that the first way is just a syntactic variation of the second. ... as be- ing an object and to mix the notions of state and encapsulation. The advantages to be gained by considering other entities than objects and by using encapsula- tion without st...

Ngày tải lên: 14/08/2014, 10:22