bhermann > LLVM, | PUMA

Lesezeichen (verstecken)
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

Keine Treffer.

⟨⟨
⟨
⟩
⟩⟩

Publikationen (verstecken)1
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
BibTeX
CSV
RDF
RSS
mehr...

1Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
P. Schubert, B. Hermann, und E. Bodden. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)
vor einem Monat von @bhermann
alle anzeigen
static
LLVM,
its
engineering
analysis
→
and
compositional
analysis,
Inter-procedural
Automated
Software
C/C++,
staticLLVM,itsengineeringanalysis→andcompositionalanalysis,Inter-proceduralAutomatedSoftwareC/C++,
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
1
⟩
⟩⟩