Minimodul 7

Data & Typer 2

New 21/2-00
Sidste gang så vi på brugerens (dvs. programmørens) opfattelse af typer. I denne forelæsning skal vi se på hvordan statisk semantisk analys, der blandt andet indeholder typecheck. Formålet med statisk semantisk analyse er, at få afgjort om det program der skal compiles virkeligt kan bringes til at køre på en CPU.

Tid

Torsdag den 24. februar, klokken 10.15-12.00.

Sted

B3-104.

Litteratur

Sethi afsnit 4.9.
Appel kapitel 5.

Supplerende litteratur

Dragebogen kapitel 6 (om statisk semantisk analyse) og afsnit 7.6 (om symboltabeller).

Opgaver

New 21/2-00
De fleste sprog tillader en mere generel assignment kommando end id:=E. F.eks. kan vi hvis a betegner en record indeholdende et felt b, der er en integer variabel, skrive a.b:=10. Design klasserne til at lave abstrakte parestræer for records og de tilhørende type-check metoder.

Appel 5.1.

Næste kursusgang: Tirsdag den 29. februar.
Til SPO hjemmesiden | Til Dat2/F6S hjemmesiden
Josva Kleist <kleist@cs.auc.dk>
Last modified: Mon Feb 21 11:30:10 2000