Foundations of Software - LAMP - EPFL

More documents

Recommendations

Info

Elements of the Course � The Foundations of Software course consists of ⊲ lecture (Tuesday 10:15-12:00, room INM 10) ⊲ exercises and project work (Thursday 8:15-10:00, room INF 1) � The lecture will follow in large parts the textbook. � For lack of time, we cannot treat all essential parts of the book in the lectures, that’s why the textbook is required reading for participants of the course. 14
Homework and Projects You will be asked to � solve and hand in some written exercise sheets, � do a number of programming assignments, including ⊲ parsers, ⊲ interpreters and reduction engines, ⊲ type checkers for a variety of small languages. � The recommended implementation language for these assignments is Scala. 15
Page 1 and 2: Foundations of Software Martin Oder
Page 3 and 4: What is “software foundations”?
Page 5 and 6: What you can expect to get out of t
Page 7 and 8: What this course is not � An intr
Page 9 and 10: Overview This course will concentra
Page 11 and 12: Organization of the Course 11
Page 13: Information Textbook: Types and Pro
Page 17 and 18: Learning Scala If you don’t know
Page 19 and 20: Collaboration � Collaboration on
Page 21 and 22: Part I Modelling programming langua
Page 23 and 24: Approaches to Parsing There are two
Page 25 and 26: Embedded Domain Specific Languages
Page 27 and 28: � Option [...] is now expressed b
Page 29 and 30: The Basic Idea For each language (i
Page 31 and 32: In each case, chars represents the
Page 33 and 34: Object-Oriented Parser Combinators
Page 35 and 36: Specific Single-Token Parsers � T
Page 37 and 38: The Sequence Combinator � The seq
Page 39 and 40: The Alternative Combinator � The
Page 41 and 42: Result Conversion The parser P ˆˆ
Page 43 and 44: The Interleaved Repetition Combinat
Page 45 and 46: An Example: JSON JSON, or JavaScrip
Page 47 and 48: Testing the JSON Parser Add a metho
Page 49 and 50: Getting Better Output � The resul
Page 51 and 52: Table of Parser Combinators ident i
Page 53 and 54: A Problem with Top-Down Parsing As
Page 55 and 56: ... and reduce is defined as follow

Foundations of Software - LAMP - EPFL

Create successful ePaper yourself

Delete template?

Save as template?