TU Wien:Typsysteme VO (Puntigam)/Prüfung 2017-07-14

Aus VoWi
Zur Navigation springen Zur Suche springen

Einzelprüfung. Definitionen sollte man formal relativ gut beherrschen. Dafür ist die Benotung sehr fair, es ist also überhaupt nicht schlimm wenn man nicht alles weiß.

Themen:

  • Was ist ein Typ?
  • Unterbereichstypen und abgeleitete Typen in Ada.
  • Tagged Records in Ada. Was ist ein klassenweiter Typ?
  • Wann wird in Ada dynamisch gebunden?
  • Formel für Subtyping für rekursive Typen war gegeben und musste erklärt werden. Ein Beispiel (gleiches wie im Skriptum) war gegeben und es musste geprüft werden ob es sich um eine Untertypbeziehung handelt.
  • Higher Order Subtyping erklären und für das gleiche Beispiel wie vorhin prüfen ob so eine Beziehung gegeben war.