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, 31 minutes, 55 seconds

Page 1Show and speak slideReferential transparencyPage 14Show and speak slideThe ordering of reductions
Page 2Show and speak slideReferential transparencyPage 15Show and speak slideAn example of normal versus applicative evaluation
Page 3Show and speak slideAn illustration of referential transparencyPage 16Show and speak slideTheoretical results
Page 4Show and speak slideIntroduction to evaluation orderPage 17Show and speak slidePractical implications
Page 5Show and speak slideArbitrary evaluation order - with some limitsPage 18Show and speak slideConditionals and sequential boolean operators
Page 6Show and speak slideA motivating examplePage 19Show and speak slideLazy evaluation
Page 7Show and speak slideA motivating example - clarificationPage 20Show and speak slideDelayed evaluation and infinite lists in Scheme
Page 8Show and speak slideRewrite rules, reduction, and normal formsPage 21Show and speak slideDelayed evaluation in Scheme
Page 9Show and speak slideRewrite rulesPage 22Show and speak slideExamples of delayed evaluation
Page 10Show and speak slideThe alpha rewrite rulePage 23Show and speak slideInfinite lists in Scheme: Streams
Page 11Show and speak slideThe beta rewrite rulePage 24Show and speak slideExample streams
Page 12Show and speak slideThe eta rewrite rulePage 25Show and speak slideStream example: The sieve of Eratosthenes
Page 13Show and speak slideNormal formsPage 26Show and speak slideApplications of The sieve of Eratosthenes

Internal 'show-and-speak' overview

LENO - LEcture NOtes with LAML technologyGenerated: Wednesday July 7, 2010, 15:39:01
Program Oriented Web Engineering - using LAML