- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Bachelorarbeit
- Klassifikation
-
Informatik
- Schlagwort
-
Programmanalyse ; Aliasanalyse ; Worst-Case-Laufzeit
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2009
- Urheber
-
Stattelmann, Stefan
- URN
-
urn:nbn:de:bsz:291-scidok-21444
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:52 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.
Beteiligte
- Stattelmann, Stefan
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2009
Ähnliche Objekte (12)
Verification of pointer programs
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
Termination analysis of procedural pointer programs modelled by graph grammars
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Proof of Pointer Programs with Ownership in SPARK
Data structure identification from executions of pointer programs
Data Structure Identification from Executions of Pointer Programs
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Rewriting Pointer Dereferences in bcc with Clang: Syntactic sugar for BPF programs
Proving termination of pointer programs on top of symbolic execution
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
HoloPointer: a virtual augmented reality pointer for laparoscopic surgery training
Verification of pointer programs
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
Termination analysis of procedural pointer programs modelled by graph grammars
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Proof of Pointer Programs with Ownership in SPARK
Data structure identification from executions of pointer programs
Data Structure Identification from Executions of Pointer Programs
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Rewriting Pointer Dereferences in bcc with Clang: Syntactic sugar for BPF programs
Proving termination of pointer programs on top of symbolic execution
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
HoloPointer: a virtual augmented reality pointer for laparoscopic surgery training
Verification of pointer programs
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
Termination analysis of procedural pointer programs modelled by graph grammars
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Proof of Pointer Programs with Ownership in SPARK
Data structure identification from executions of pointer programs
Data Structure Identification from Executions of Pointer Programs
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Rewriting Pointer Dereferences in bcc with Clang: Syntactic sugar for BPF programs
Proving termination of pointer programs on top of symbolic execution
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof