Collaborated with:∅
Talks about:probabilist (2) analys (2) determinist (1) program (1) output (1) exist (1) reus (1) non (1)
Person: Maja Hanne Kirkeby
DBLP: Kirkeby:Maja_Hanne
Contributed to:
2019Wrote 1 papers:
- QAPL-2019-Kirkeby #analysis #probability #reuse #source code
- Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses (MHK), pp. 43–57.