SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


ALP Slides

For a preview you can consult the already linked slides of last year's course. The slides shown during this semester will be uploaded after each lecture. When new slides are uploaded, the date attached to the link will be updated.

Date Chapter/Topic Last update of slides
08.04.14 0. Organizational Issues
1. Syntax, Informal Semantics, Application Example
Chapter 0, 08.4.2014
Chapter 1, 08.4.2014
15.04.14 1. Application Example (continued)
22.04.14 2. Software Analysis Chapter 2, 29.4.20141)
29.04.14 3. Declarative semantics Chapter 3, 29.4.20142)
06.05.14 4. Operational Semantics Chapter 4, 06.5.20143)
13.05.14 4. Operational Semantics (cont.) see above
20.05.14 5. Programming techniques Chapter 5, 20.05.20144)
27.05.14 5. Programming techniques see above
03.06.14 5. Programming techniques see above
09.06.14
- 13.06.14
Whitsun break (no lecture, no tutorials)
17.06.14 6. Predefined Predicates* Chapter 6, 17.06.2014
24.06.14 Preview of seminar, lab and thesis topics*
01.07.14 9. Metadata, Metaprogramming and Reflection (DSP) Chapter 7, 08.07.2014
08.07.14 9. Metadata, Metaprogramming and Reflection* see above
15.07.14 Written exam (8:00 - 10:00 in HS 1, Römerstr.)
17.07.14 Exam review (9:00 - 11:00 in A 107, Römerstr.)
1) , 2)
Cosmetic updates: Chapter number, year, …
3)
Added slides about SLD-Resolution, added examples for unification, improved presentation of result substitutions and composition of substitutions, corrected example (pointed out in the lecture)
4)
Updated section about termination
teaching/lectures/alp/2014/slides.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019