Navigate to list of lectures -- Keyboard shortcut: 'u'  Previous lecture -- Keyboard shortcut: 'p'  Next lecture -- Keyboard shortcut: 'n'  Course home        Alphabetic index  Exit possible frame set        First slide  First annotated slide  Lecture notes - all slides and notes together  Textbook of this lecture      PDF print page        Help page about these notes
Lecture 5

LECTURE 5:
The Order of Evaluation

Kurt NÝrmark
Department of Computer Science, Aalborg University, Denmark

Title page            Abstract            Audio lecture from the start            References from this lecture            Source programs in this lecture            

Total playing time of audio lecture: 1 hour, 21 minutes, 47 seconds

Page 1Referential transparencyPage 14The ordering of reductions
Page 2Referential transparencyPage 15An example of normal versus applicative evaluation
Page 3An illustration of referential transparencyPage 16Theoretical results
Page 4Introduction to evaluation orderPage 17Practical implications
Page 5Arbitrary evaluation order - with some limitsPage 18Conditionals and sequential boolean operators
Page 6A motivating examplePage 19Lazy evaluation
Page 7A motivating example - clarificationPage 20Delayed evaluation and infinite lists in Scheme
Page 8Rewrite rules, reduction, and normal formsPage 21Delayed evaluation in Scheme
Page 9Rewrite rulesPage 22Examples of delayed evaluation
Page 10The alpha rewrite rulePage 23Infinite lists in Scheme: Streams
Page 11The beta rewrite rulePage 24Example streams
Page 12The eta rewrite rulePage 25Stream example: The sieve of Eratosthenes
Page 13Normal formsPage 26Applications of The sieve of Eratosthenes

Internal 'show-and-speak' overview

LENO - LEcture NOtes with LAML technologyGenerated: Friday January 3, 2014, 09:34:07
Program Oriented Web Engineering - using LAML