Softwaretechnik und Programmiersprachen, SoSe 11

Organisation

Softwaretechnik und Programmiersprachen ist ein Modul im Bereich praktische Informatik.
Dozent: Prof. Dr. Michael Leuschel
Umfang: 4 SWS (Vorlesung) + 2 SWS (theoretische Übung) + 2 SWS (praktische Übung)
Vorlesung: Mo. 12:45 Uhr in HS 5G und Mi. 8:45 Uhr in HS 5G.

Die Klausur fand am 23. September von 10Uhr bis 12 Uhr im Hörsaal 5A statt.

Eine Wiederholungsvorlesung findet am 16. September ab 13.30 Uhr im Seminarraum 25.12 O2.55 statt.

Klausurergebnisse:

1,0: 1886443, 1886223, 1919653
1,3: 1991561, 1842131, 1972470
3,3: 1755189
4,0: 1706811

Nachklausurergebnisse:

1,3: 1886401
2,3: 1869305
2,7: 1842076, 1920558

Übungen

Die Übungen finden mittwochs um 14h30 und freitags um 10h30 statt.

Downloads

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8
• Blatt 9
• Blatt 10
• Blatt 11
• Blatt 12
• Blatt 13
• Blatt 14
• Blatt 15
• Compiler Pflichtabgabe
• Prolog Pflichtabgabe
• test.pl

Literatur und Links

Compilerbau

• Aho, Lam, Sethi, Ullman: Compiler
• Errata für die deutsche Ausgabe des Drachenbuchs
• Andrew W. Appel - Modern Compiler Implementation in Java
• JavaCC: https://javacc.dev.java.net/
• Cup : LALR Parser Generator in Java : http://www2.cs.tum.edu/projects/cup/

Prolog und logische Programmierung

• Nilsson, Maluszynski - Logic, Programming and Prolog (eBook)
• Brna - Prolog Programming A First Course
• Adventure in Prolog
• Learn Prolog Now

Funktionale Programmierung

• http://www.haskell.org
• http://book.realworldhaskell.org/read
• http://learnyouahaskell.com/
• http://en.wikibooks.org/wiki/Haskell
• http://www.haskell.org/soe/
• http://www.stups.uni-duesseldorf.de/~fontaine/vl_fkt/
• http://www.reddit.com/r/haskell/
• Prolog im Watson System von IBM

Folien

Die Folien vom SS 2010 sind noch auf der STUPS Seite von 2010 erhältlich.

Downloads

• 0.Introduction11.pdf
• 04_P_SAT_Algorithmus.pdf
• 7097_Kap_01_cws.pdf
• astar_8.pl
• astar_8.pl
• astar_path.pl
• cnf_conversion.pl
• Kapitel8_Codegen1.pdf
• Kapitel8_Codegen2.pdf
• Kap_01_cws.pdf
• Kap_03_cws.pdf
• Kap_04a_cws.pdf
• Kap_04b_cws.pdf
• Kap_04c_cws.pdf
• Kap_05_ActionsAbstractSyntax.pdf
• L1&2_Intro.pdf
• L10_Prolog_Datenstrukturen.pdf
• L11_8puzzle.pl
• L11_bauerziege.pl
• L11_Hanoi.pl
• L11_PrologSuche.pdf
• L11_Suche.pl
• L3.PropLogic_2011.pdf
• L4.PropProofTheory.pdf
• L5.FOLintro.pdf
• L6.unification.pdf
• L7.unifalg.pdf
• L8.SLD.pdf
• Norvig_A_chapter04a.pdf
• travel.pl

• Wiederholung.pdf