2

• 2-Tupel

a

• Ablauf (Algorithmus)
• Ablauf (prozedural)
• ableitbar
• Ableitbarkeit
• Ableitung
• Ableitungsbaum
• abrupte Terminierung
• abstrakt (Java)
• abstrakte Datenstruktur
• abstrakte Klasse
• abstrakte Methode
• Abstraktion (abstrakt)
• Aktion
• aktueller Parameter
• Algorithmus
• Allokation
• Alphabet
• Annotationsbeweis
• anonyme Klasse
• antisymmetrisch
• Anweisung
• Anwendungsfall
• Anwendungsschnittstelle
• Attribut
• Aufenthaltsort (Objekt)
• aufsteigende Kette
• Aufwandsfunktion
• Aufzählungstyp
• Ausdruck
• Ausführung
• Ausführungszustand
• auslösen (Ausnahme)
• Ausnahmebehandlung
• Auswertung
• Auswertungssemantik
• Autoboxing
• AVL-Baum
• Axiom (Sprachen)

b

• Balancierter Suchbaum
• Baum
• Baustein
• bedingter Ausdruck
• Berechnungsablauf
• Bezeichnerumgebung
• Binärbaum
• binärer Suchbaum
• Bindung
• Blatt
• Boxing

c

• call-by-name
• call-by-need
• call-by-value

d

• Datenstruktur
• Deallokation
• default Konstruktor
• defensive Programmierung
• Deklaration
• Deklarationsbereich
• denotationale Semantik
• Deserialisierung
• determiniert
• deterministisch
• Dienst (Objekte)
• direkt ableitbar
• direkt erreichbar
• direkt rekursiv
• direkter Subtyp
• Diskriminator
• dynamisch
• dynamische Methodenauswahl
• dynamisches Binden

e

• echter Subtyp
• Effizienz
• eigenständig (Baustein)
• eindeutig
• Einfache Anweisung
• Entwicklungsmethode
• Entwicklungsprozess
• erreichbar
• Erreichbarkeit
• erweitert (Klasse)

f

• fangen (Ausnahme)
• fast vollständig (Binärbaum)
• Feld
⇒ ...

f ...

• Feldtyp
• formale Sprache
• formaler Parameter
• Funktion höherer Ordnung
• Funktional
• Funktionsabstraktion
• Funktionsanwendung

g

• Geflecht
• Geflechte
• Geheimnisprinzip
• gerichteter Graph
• geschachtelt (Deklarationsbereich)
• geschachtelt (Klasse)
• geschachtelt rekursiv
• geschützt (Vererbung)
• global (Klasse)
• Graph
• Größe (Baum)
• größtes Element
• Gültigkeitsbereich

h

• Hashfunktion
• Hashkollision
• Hashtabelle
• Heap Eigenschaft
• Hoare-Logik
• Hoare-Regel
• Hoare-Triple
• Höhe (Baum)
• höhenbalanciert (Suchbaum)
• homogen (Relation)

i

• Identität (Objekt)
• implementiert (Klasse)
• impliziter Parameter
• indirekt rekursiv
• indiziert (Binärbaum)
• Infix
• Informatik
• injektiv
• Inkarnation
• innere Klasse
• innerer Knoten
• Instanz
• Instanzvariable
• Invariante (Objekt)

k

• Kante
• Kapselung
• kaskadenartig rekursiv
• Kinder
• Klasse
• Klasse (abstrakt)
• Klassenattribut
• Klassendeklaration
• Klassenkonzept
• Klassenmethode
• Klassenname
• Klassifikation
• kleinstes Element
• Knoten (Baum)
• Knoten (Graph)
• Kollisionsklasse
• Komponenten (Verbund)
• Konstante
• Konstruktor (funktional)
• Konstruktor (Objekte)
• kontextfreie Grammatik
• kooperierend (Baustein)
• Korrektheit

l

• Lambda-Abstraktion
• Lebensdauer (Inkarnation)
• Lebensdauer (Objekt)
• Lebensdauer (Speichervariable)
• leerer Baum
• linear rekursiv
• Linksableitung
• lokale Klasse

m

• Markierung
• maximales Element
• mehrdeutig
• Mehrfachvererbung
• Methode
• Methode (Objekte)
• Methodenauswahl
• minimales Element
• Muster
• Musteranwendung

n

• n-Tupel
⇒ ...

n ...

• Nachfolgezustand
• Nachricht (Objekte)
• Namensumgebung
• nicht-determiniert
• nicht-deterministisch
• Nicht-Terminierung
• Nichtterminalknoten
• Nichtterminalsymbol
• Niveau
• noethersche Ordnung
• normale Terminierung

o

• obere Schranke (Aufwandsfunktion)
• Objekt (abstrakt)
• objektbasiert
• Objektgeflecht
• objektlokale Variable
• Objektmodell
• objektorientiert
• Objektreferenz
• operationale Semantik
• Operatorsymbole
• Ordnung
• Ordnungsrelation

p

• Paar
• Paket (Java)
• Paradigma
• Parameterinduktion
• Parameterübergabe
• parametrische Polymorphie
• partiell
• partielle Korrektheit
• partielle Ordnung
• Persistenz
• Plattform
• polymorph (Typsystem)
• Polymorphie
• Polymorphie (Typsystem)
• Präzedenzregel
• Prinzip der Substituierbarkeit
• Problemgröße
• Produktion
• Programm
• Programm (abstrakt)
• Programm (Haskell)
• Programmbibliothek
• Programmgerüst
• Programmierschnittstelle
• Programmmodul
• Programmmodul (abstrakt)
• Programmvariable
• Prototyp-Konzept
• Prozedur
• prozedurales Paradigma
• Prozeduraufrufbaum
• Prozedurinkarnation
• Prozedurrumpf
• Prozedurspezifikation

r

• Raumkomplexität
• Rechtsableitung
• Referenz
• Referenztyp
• reflexiv
• Regel
• Rekursion
• rekursiv
• Relation
• repetitiv rekursiv

s

• Satz
• Satzform
• Schleifeninvariante
• Schlüsselabstraktion
• Schnittstelle (Baustein)
• Schnittstelle (Softwaresystem)
• Schnittstellendeklaration
• Seiteneffekte
• Selektor
• Semantik
• Serialisierung
• Sichtbarkeitsbereich
• Signatur (Datenstruktur)
• Software
• Softwaresystem
• sortiert (Binärbaum)
• Speicherbedarf
• Speicherbereinigung
• Speichervariable
• Speicherzustand
⇒ ...

s ...

• Spezialisierung (abstrakt)
• Sprachdefinition mit Syntaxdiagrammen
• Sprache
• Sprache (definiert durch Syntaxdiagramme)
• Startsymbol
• stationär
• statisch
• statisch (Attribut)
• statisch (Variable)
• statische Bindung
• statische Klasse
• statische Methode
• Stelligkeit
• Steuerungszustand
• strikt (Binärbaum)
• strikt (Funktion)
• String
• Ströme
• Strom
• Strukturbaum
• strukturelle Induktion
• strukturierter Wert
• Subtyp
• Subtyp-Polymorphie
• Supertyp
• Symbol
• Synonym (Hash)
• Syntax
• Syntaxbaum
• Syntaxdiagramm
• System

t

• technisches System
• Terminalknoten
• Terminalsymbol
• Terminierung
• Testen
• Text
• this
• Tiefe
• total
• totale Korrektheit
• transitiv
• Typ
• Typdeklaration (Java)
• Typinferenz
• Typkonvertierung
• Typsystem

u

• Überladung (allgemein)
• Überladung (Java)
• Überläufer
• Überschreiben
• Übersetzungseinheit
• unabhängig (Baustein)
• Unboxing
• Unterbaum
• unveränderlich

v

• Validation
• Variable
• Variablenverbund
• Verbund
• Vereinbarung
• Vererbung
• Verhalten (Objekt)
• Verhaltensmodell
• Verifikation
• Verschattung
• verschränkt rekursiv
• Vertrag
• vollständig (Binärbaum)

w

• Wächter
• Wert (Java)
• Werte
• Wort
• WP-Kalkül
• Wurzel
• Wurzelvariable

z

• Zeichen
• Zeichenreihe
• Zeiger
• Zeitkomplexität
• Zugriffsbereich (Java)
• Zugriffsmodifikator
• zulässiger Parameter
• Zusammengesetzte Anweisung
• Zustand (Objekt)
• Zweig