D120.de/forum

Wurde mittlerweile durch die RBG wieder nachinstalliert. Das Kommando ist .

... sind jetzt auf Web-Seite.

Ich bearbeite die Aufnahmen alle komplett alleine und bin momentan mit anderen Dienstaufgaben (alles Terminsachen) leider mehr als ausgelastet. Ich werde aber versuchen, die Files am Wochenende aufzubereiten und online zu stellen. Ich hoffe sehr, dass ich im Mai wieder meine üblichen Latenzen erreic...

Die mündlichen Prüfungen (jeweils ca. 30 Minuten) zu Compiler I werden am 25.9.2013 abgenommen. Vereinbaren Sie dazu bitte einen Termin mit Frau Weber, der Sekretärin des FG ESA.

Obacht! Spätestens wenn der BlueSpec-Teil losgeht (vermutlich nächste Woche) wird man mit den alten Klausuren nur noch sehr wenig anfangen können.

Geht es mittlerweile?

An den ersten Foliensätzen hat sich nix geändert, da haben auch die Aufzeichnungen aus dem Vorjahr Bestand. Änderungen erwarte ich erst gegen Ende der Vorlesung (z.B. bei ANTLR, Programming Language Pragmatics).

... Analog zu kann man das \top nennen ... ... und das ist in der Tat die Lösung des Rätsels, genau so wird es bei den ``richtigen'' Verfahren SSCP/SCCP (die noch drankommen) gemacht. Unbekannt kann aber wieder zu Problemen führen. In der Tat, das ist bei den hier im Thread verwendeten optimistisch...

Sie haben absolut recht, man sollte die Frage genauer lesen (ich hatte übersehen, dass in der ursprünglichen Frage drei Kanten zusammentrafen).

Hier habe ich mich in der Vorlesung in der Tat ungenau ausgedrückt: Der Operator war gemeint als Variante 2, da er überhaupt nur angewendet werden kann, wenn Aussagen zu v in beiden CONSTANT-Mengen stehen. Und nur wenn der Operator angewendet werden darf, liefert er ein Element für die Ergebnismenge...

Seit letzter Woche sollten alle Papers auf der Web-Seite stehen.

- Vermutlich (das steht nämlich nicht in den Folien, vielleicht findet sich was im Netz) musst du ähnlich wie bei der Copy-Propagation eine initiale CIn-Menge für alle Basisblöcke berechnen (Vereinigung über alle vorhandenen Konstanten). Hier ist die Initialisierung anders: Am Anfang Prozedureintri...

Hallo zusammen, hier einige Kommentare zu der interessanten Diskussion (die auch wertvolle Hinweise für die Verfeinerung der Vorlesung gegeben hat ;-) ) 1) Ursprünglich war gedacht (v,c) meets unbekannt = unbekannt , wobei unbekannt steht für ``v nicht in Constants''. Das stand aber etwas mißverstän...

Wie schon in der Vorlesung und auf der Web-Seite bekanntgegeben: Die Prüfung in diesem Semester erfolgt semesterbegleitend in Form einer schriftlichen Abschlussprüfung. Die Klausur findet am Montag, dem 16.07.2012 von 13-15 Uhr im Hörsaal C205 statt. Hilfsmittel sind keine zugelassen. Bitte stellen ...

Sehr guter Hinweis, vielen Dank!