Hochschulschrift
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
183 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Kiel, Univ., Diss.
- Erschienen in
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 8713
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Inst. für Informatik u. Prakt. Mathematik
- (wann)
-
1987
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:06 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Steffen, Bernhard
- Inst. für Informatik u. Prakt. Mathematik
Entstanden
- 1987
Ähnliche Objekte (12)
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Automatic synthesis of design plans in MetaFrame
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein
Pushdown processes : parallel composition and model checking
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik
Advances in session-based and session-aware recommendation
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Automatic synthesis of design plans in MetaFrame
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein
Pushdown processes : parallel composition and model checking
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik
Advances in session-based and session-aware recommendation
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Automatic synthesis of design plans in MetaFrame
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein
Pushdown processes : parallel composition and model checking
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik