Foundations of Software - LAMP - EPFL

More documents

Recommendations

Info

Course Overview 2
What is “software foundations”? Software foundations (or ”theory of programming languages”) is the mathematical study of the meaning of programs. The goal is finding ways to describe program behaviors that are both precise and abstract. � precise so that we can use mathematical tools to formalize and check interesting properties � abstract so that properties of interest can be discussed clearly, without getting bogged down in low-level details 3
Page 1: Foundations of Software Martin Oder
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 and 14: Information Textbook: Types and Pro
Page 15 and 16: Homework and Projects You will be a
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
show all

Foundations of Software - LAMP - EPFL

Create successful ePaper yourself

Delete template?

Save as template?