Download (1405Kb)
Download (1405Kb)
Download (1405Kb)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
INDEX 187<br />
TC,ς, 75<br />
IntΣ,ς, 76<br />
[[·]] fix<br />
P,ς , 78<br />
Dfix P,ς , 78<br />
[[·]] red<br />
P,ς , 100<br />
NOuterR,I(t), 101<br />
OuterR,I(t), 101<br />
[[·]] alg<br />
, 99 ⊥ς<br />
[[·]] P,ς , 115<br />
DP,ς, 115<br />
ModP, 134<br />
IntModP,ς, 139<br />
IntMod ∗ P,ς, 142<br />
Alg part<br />
, 146<br />
Σ<br />
Opspart n (A), Opspart (A), 145<br />
Int part<br />
Σ,cbv , 147<br />
Mod part<br />
P , 147<br />
Π, 148<br />
Π−1 , 148<br />
Abhängigkeit von Stellen, 19<br />
abstrakte Interpretation, 59<br />
abzählbare Menge, 10<br />
Äquivalenzklasse, 15<br />
Algebra, 15<br />
ω-vollständig, 16<br />
ω-Morphismus, 16<br />
Isomorphie, Freiheit, Initialität, 16<br />
Klasse aller, 16<br />
frei, 16<br />
absolut, 16<br />
geordnet, 16<br />
kanonische Halbordnung, 16<br />
Morphismus, 16<br />
zu einer festen Halbordnung, 16<br />
Grundtermalgebra, 17<br />
initial, 16<br />
absolut, 16<br />
isomorphe, 16<br />
Klasse aller, 15<br />
partielle, 146<br />
Termalgebra, 17<br />
unendlicher Terme, 19<br />
algebraische Grundtermsemantik, 47<br />
algebraische Termsemantik, 47<br />
bzgl. einer partiellen Algebra, 146<br />
Approximation<br />
endliche, 13<br />
semantische, 99<br />
semantische cbn-, 69<br />
aufzählbare Menge, 10<br />
ausreichende Vollständigkeit, 135<br />
Auswertungsmechanismus<br />
call-by-name, 50<br />
call-by-value, 50<br />
Basisdatentyp, 4<br />
call-by-name, siehe cbn<br />
call-by-value, siehe cbv<br />
cbn<br />
-Auswertungsmechanismus, 50<br />
-Fixpunktdatentyp, 66<br />
-Fixpunktsemantik, 66<br />
-Interpretation, 65<br />
-Transformation, 66<br />
semantische cbn-Approximation, 69<br />
cbv<br />
-Auswertungsmechanismus, 50<br />
-Fixpunktdatentyp, 59<br />
-Fixpunktsemantik, 59<br />
-Interpretation, 56<br />
-Transformation, 57<br />
Datenregel, 170<br />
Datentyp<br />
ς-Datentyp, 115<br />
freier, 169<br />
li-, 61<br />
nicht-freier, 170<br />
partieller cbv-Datentyp, 148<br />
Datentyp einer Grundtermsemantik, 47<br />
Definiertheitsprädikat, 152<br />
Eindeutigkeitsbedingung<br />
der Programme mit Hilfsfunktionen, 41<br />
der Programme mit Pattern, 38<br />
Einsetzen eines Terms an einer Stelle, 18<br />
Element<br />
kleinstes, 11<br />
Elimination<br />
einer outermost Redexstelle, 122<br />
endliche Approximation, 13<br />
erzwungene Striktheit, 74<br />
eventually outermost
Change language