Planering

Litterturhänvisningarna avser kapitel i The Structure and Interpretation of Computer Programs (SICP), andra upplagan.

Period VT1

• Föreläsning 1: (SICP 1, 3.1-3.2)
  Översikt
  Funktionell och imperativ programmering
  Substitutions- och omgivningsmodellen
  Tilldelning
• Föreläsning 2: (SICP 3.1-3.2, 3.3.5)
  Objektorienterad programmering
  Objekt med lokala tillstånd
  Omgivningsmodellen (forts.)
  Modellbygge: Constraint propagation
• Föreläsning 3: (SICP 3.5)
  Programmering med strömmar (streams)
  Fördröjd beräkning
  Lat evaluering, call-by-name, call-by-need
• Föreläsning 4: (SICP 4.1-4.1.6)
  Evaluatorer
  En interpretator för Scheme
• Föreläsning 5: (SICP 4.2)
  En interpretator för Scheme (forts.)
  Statisk respektive dynamisk bindning
  Alternativa parameteröverföringsmodeller
  Språkutvidgning. Makroutveckling
  (Typhärledning)
• Föreläsning 6: (SICP 4.1.7)
  Separation av syntaktisk analys och exekvering

Period VT2

• Föreläsning 7: (SICP 4.3)
  Ickedeterministisk programmering
  Continuations
• Föreläsning 8: (SICP 4.4)
  Deklarativ respektive procedurell programmering
  Logikprogrammering
  Interpretatorer för logikprogrammeringsspråk
• Föreläsning 9: (SICP 5.1, 5.2, 5.4)
  Registermaskiner
  Interpretatorer med explicit kontrollöverföring
• Föreläsning 10: (SICP 5.3, 5.4)
  Scheme-interpretatorn i maskinkod
Lexikalisk adressering, uppslagning av variabler
• Föreläsning 11: (SICP 5.5)
  Kompilering och interpretering
  En kompilatorer för Scheme (forts.)
  
• Föreläsning 12: (eget material)
  Partialevaluering
  Repetition
  Kurskritik

Sidansvarig: Ahmed Rezine
Senast uppdaterad: 2012-12-12