Statistics
Publications
2
Citations
32
H-Index
2
Active since
1998
Affiliations
Universität Ulm(Current)
Axel Dold is an author at Universität Ulm specializing in compiler construction, correctness checking, and programming languages.
Publications per year
1998–2003
2
2
ASM-based Mechanized Verification of Compiler Back-Ends.
Axel Dold, Thilo Gaul, Vincent Vialard et al. · 1998 · 18 citations
1–2 of 2