21 citations · 30 across the 6 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2016★ 2 cited
Probabilistic Resource Analysis by Program Transformation
Maja H. Kirkeby, Mads Rosendahl
The aim of a probabilistic resource analysis is to derive a probability distribution of possible resource usage for a program from a probability distribution of its input. We prese…
cs.PL2015★ 3 cited
Probabilistic Output Analysis by Program Manipulation
Mads Rosendahl, Maja H. Kirkeby
The aim of a probabilistic output analysis is to derive a probability distribution of possible output values for a program from a probability distribution of its input. We present…
cs.PL2013★ 3 cited
Abstract Interpretation as a Programming Language
Mads Rosendahl
In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications b…