Welcome to INF225!

This is the Wiki for the INF225 course at the University of Bergen (Fall 2016). Previous editions: 2013

Notes

• Complete notes in PDF (to be updated)
• Appendix A: Glossary [wiki, tags]
• Flash cards with many of the glossary entries

Lectures

• Lecture 1: 01-languages.pdf
• Lecture 2: 02-syntax.pdf
• Lecture 3: 03-syntax-parsing.pdf
• Lecture 4:
• Lecture 5: 05-Simple.rsc
• Lecture 6: 06-Simple.rsc
• Lecture 9: 09-Simple.rsc 09-SimpleAST.rsc 09-SimpleTypeChecker.rsc
• Lecture 10: 10-machines.pdf
• Lecture 11: 11-value-vs-store.pdf 11-ImperativeAST.rsc 11-ImperativeTypeChecker.rsc
• Lecture 12: Type systems
• Lecture 13: Pattern matching
• Lecture 14+15: Analysis and slicing
• Lecture 16: Memory layout and function calls (again); walkthrough of Roar's evaluator

Exercises

• Exercise 1
• Exercise 2
• Exercise 3 -- Solutions: JSON grammar, Ex3 Tests
• Exercise 4 (Compulsory)

Term Project

• There will be a term project. You will be able to choose what to work on (within guidelines) and which technologies to use. Decide on the project and start working by the end of October. You will be expected to present / report on your progress in November. The final deadline will be the week of the exam (you will be asked about the project on the exam).

Practical Help

• Using the SLE@UiB Team

Links

• Recommended Books
• The Grammar Zoo
• Comparison of Parsing Performance
• Pure and Declarative Syntax Definition: Paradise Lost and Regained