I222 - Semantikk til programmeringsspråk

Oversikt over innholdet på denne vev-siden:

• Pensum
• Kursleder
• Tidspunkt
• Forelesningsplan
• Øvelsesoppgaver
• Eksamen

Pensum

• Tom Therkildsen: En kort innføring i ML.
  Lesestoff

• Bjørn Kirkerud: Programming Language Semantics, Pensumtjeneste, Oslo 2000, ISBN: 82-13-01786-2.
  Hele boken, unntatt kap. 8, 12, 13, 14.
  Kap. 3, 6.7, 7, 9.3, 9.4, 10.4, 10.5 og 11 er lesestoff.

  • Feil i siste setning seksjon 4.3.4. Den korrekte versjonen er (A og B er byttet om i teksten):

    The second is that whereas (A->B) contains uncountably many elements when B has at least two elements and A is countably infinite (as often will be the case), F(A->B) is only countable under the same assumptions.

  • Bevis til prop. 5.1 (s. 82) er også pensum. Ble gjennomgått på forelesningene 11.2. og 14.2.00.

  • Det ble gitt en alternativ semantikk til kap. 9.6: Decl₁: A langauge with arrays på forelesningene 20.-29.3.00. Det er valgfritt hvilken som velges som pensum.

• James H. Morris: Real Programming in Functional Languages. J. Darlington, P. Henderson, D.A. Turner (eds.): Functional programming and its applications. Cambrige University Press, 1982. Pages 129-176.
  Lesestoff.

• Lloyd Allison: A practical introduction to denotational semantics, seksjon 4.3.

Kursledere

Tidspunkt for forelesninger og øvelser

Forelesninger

• Mandager kl. 12.15 - 14.00 i seminarrom 2143 HiB (første gang 17. januar)
• Onsdager kl. 10.15 - 12.00 i seminarrom 2143 HiB

Øvelser

• Fredager kl. 10.15 - 12.00 i seminarrom 2143 HiB.
  Gruppene vil arrangeres sporadisk da midlene til regulære gruppeøvelser er inndratt. Dere anbefales å bruke tiden til kollokvievirksomhet og gjennomgang av oppgaver. Oppgaver vil bli delt ut uregelmessig.

  Ny tid og sted fra og med fredag 18.2.00:
  Fredager kl. 12.15 - 14.00 i seminarrom 2103 HiB.

• Øvelse 1 og 2 diskuteres fredag 18.2.00.
• Øvelse 1 og 3 diskuteres fredag 17.3.00.

Forelesningsplan

• 17.1.00/19.1.00: Motivasjon og oversikt, lambda-kalkyle, ML, kap. 1-2.4.2
• 24.1.00/26.1.00: Kap. 2.4.4-3, Semantikk til Loop i ML.
• 31.1.00/ 2.2.00: Kap. 4-4.3.3.
• 7.2.00/ 9.2.00: Kap. 4.3.4-5.3.4.
• 14.2.00/16.2.00: Kap. 5.3.4-5.4.
• 21.2.00/23.2.00: Kap. 5.4-5.6.
• 28.2.00/ 1.3.00: Kap. 5.6-7.
• 6.3.00/ 8.3.00: forelesningsfri.
• 13.3.00/15.3.00: Kap. 9.1-9.2, 9.5.
• 20.3.00/22.3.00: Kap. 9.6.
• 27.3.00/29.3.00: Kap. 9.6.
• 3.4.00/ 5.4.00: Kap. 10.1-10.2.
• 10.4.00/12.4.00: Kap. 10.2-10.3.
• 26.4.00: Kap. 11.1-11.3.
• 3.5.00: Domeneligningen (Kap. 4.3, 9.6.2.2, 10.2.3).
• 10.5.00/12.5.00: Kap. 10.6.4, Morris.
• 15.5.00: Allison.

Øvelsesoppgaver

• 28.1.00: oppgavesett 1. Ikke organisert gjennomgang.
• 18.2.00: oppgavesett 2. Organisert gjennomgang.
• 17.3.00: oppgavesett 3. Organisert gjennomgang.
• 4.5.00: oppgavesett 4. Ikke organisert gjennomgang.
• 25.5.00: oppgavesett 5. Ikke organisert gjennomgang.

Eksamen