• Keine Ergebnisse gefunden

M. Sc. Peter Chini Abgabe bis 12.12.2018 um 12 Uhr

N/A
N/A
Protected

Academic year: 2021

Aktie "M. Sc. Peter Chini Abgabe bis 12.12.2018 um 12 Uhr"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

WS 2018/2019 5.12.2018 Übungen zur Vorlesung

Programmanalyse Blatt 7 Prof. Dr. Roland Meyer,

M. Sc. Sebastian Wolff,

M. Sc. Peter Chini Abgabe bis 12.12.2018 um 12 Uhr

Aufgabe 7.1 (Galois-Verbindungen)

Geben Sie für die folgenden Paare (α, γ) jeweils an, ob es sich um eine Galoisverbindung handelt. Ist dies nicht der Fall, so geben Sie je ein Gegenargument oder Gegenbeispiel an.

L M α γ

a) (Z

±∞

, ≤) (P (Z) , ⊆) z 7→ {z}, −∞ 7→

∅, ∞ 7→ Z

m 7→ F

{z | z ∈ m}

b) ( P ( Z ) , ⊆) ( Z

±∞

, ≤) l 7→ F

{z | z ∈ l} z 7→ {z}, −∞ 7→

∅, ∞ 7→ Z c) ( Z ∪ {⊥, >}, v) ( P ( Z ) , ⊆) z 7→ {z}, > 7→ Z , ⊥ 7→

m 7→ F {a | a ∈ m}

d) (Z

±∞

, ≤) Z

2±∞

, ≤

2

l 7→ (l, l) (l

1

, l

2

) 7→ l

1

e) P ( R

2

), ⊆

conv R

2

, ⊆

l 7→ conv (l) m 7→ m

Dabei sind

• z ∈ Z, l ∈ L, m ∈ M .

• Z

±∞

:= Z ∪ {−∞, +∞}, −∞ ≤ +∞ und für alle z ∈ Z gilt −∞ ≤ z, z ≤ +∞.

• z

1

v z

2

gdw. z

1

= ⊥ ∨ z

2

= >.

• (l

1

, l

2

) ≤

2

(l

3

, l

4

) wenn l

1

≤ l

3

und l

2

≤ l

4

für l

1

, l

2

, l

3

, l

4

∈ Z

±∞

.

• conv R

2

die konvexen Mengen über R

2

bzw. conv (l) die konvexe Hülle von l. Eine Teilmenge m ⊆ R

2

heißt konvex, wenn jede Verbindungsstrecke zwischen zwei Punkten in m selbst vollständig in m liegt. Die konvexe Hülle conv (l) is die kleinste konvexe Menge m, die l enthält.

Aufgabe 7.2 (Galois-Verbindungen)

Seien (L, ≤

L

) und (M, ≤

M

) vollständige Verbände. Zeigen Sie:

a) Ist L

0

⊆ L und (α, γ) eine Galois-Verbindung, so gilt α ( F

L

0

) = F α (L

0

).

b) Zu jeder vollständig additiven Funktion α : L → M gibt es eine Funktion γ : M → L,

so dass (α, γ) eine Galois-Verbindung ist.

(2)

Aufgabe 7.3 (Array-Bound-Analyse)

Angenommen, Sie untersuchen ein Programm, welches auf einem Array statischer Größe arbeitet. Das Programm verwaltet einen Zeiger, über den es auf einzelne Elemente des Arrays zugreifen kann. Wir nehmen an, dass der Zeiger einen Wert aus Z annimmt. Die tatsächliche Struktur des Arrays vernachlässigen wir und beschreiben sie stattdessen mit D. Der Datenbereich des Programms ist also Z × D. Sie wollen nun wissen, ob das Programm die Grenzen des Arrays respektiert.

a) Geben Sie einen endlichen vollständigen Verband M an, der eine Array-Bound- Analyse ermöglicht. Geben Sie außerdem eine Galoisverbindung von L := P ( Z × D) nach M an.

b) Wie würden Sie bei einem dynamischen Array vorgehen? Welche Nachteile bringt dies mit sich?

Abgabe bis 12.12.2018 um 12 Uhr im Kasten neben Raum 343

Referenzen

ÄHNLICHE DOKUMENTE

Das Programm verwaltet einen Zeiger, ¨ uber den es auf einzelne Elemente des Arrays zugreifen kann. Wir nehmen an, dass der Zeiger einen Wert aus Z annimmt. Die tats¨ achliche

Eine Safety-Eigenschaft oder Invariante eines Programms ist eine Menge Safe ⊆ Prog × State von Konfigurationen.. Man sagt, die Eigenschaft ist erf¨ ullt, falls alle

Angenommen, Sie untersuchen ein Programm, welches auf einem Array statischer Gr¨ oße arbeitet. Das Programm verwaltet einen Zeiger, ¨ uber den es auf einzelne Elemente des

Das Programm verwaltet einen Zeiger, ¨ uber den es auf einzelne Elemente des Arrays zugreifen kann.. F¨ ur die Analyse ist nur der Abstand des Zeigers von den R¨ andern des Arrays

Leitung: Präsident Andreas Obersteller, BAFA Wirtschaft und

c) Berechnen Sie ausgehend von der Formel für das elektrische Feld eines unendlich langen dünnen Leiters die Kraft auf das äußere Elektron aufgrund der in seinem

Aus einer Batterie, einem Draht, einer Stahlschraube und einem kleinen Magneten läßt sich wie in der Abbildung dargestellt ein Motor bauen.. Die Schraube bleibt aufgrund

Die folgende Tabelle zeigt das reale BIP der Vereinigten Staaten (in Milliarden verketteter Dollar des Jahres 2000). a) Bestimmen Sie die peak-Quartale des Konjunkturverlaufs (nach