1 citations · 1 across the 3 of their papers we have counts for
8 papers
How to write a coequation
Fredrik Dahlqvist, Todd Schmid
There is a large amount of literature on the topic of covarieties, coequations and coequational specifications, dating back to the early seventies. Nevertheless, coequations have n…
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
George Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric +1
We present a detailed study of roundoff errors in probabilistic floating-point computations. We derive closed-form expressions for the distribution of roundoff errors associated wi…
An Internal Language for Categories Enriched over Generalised Metric Spaces
Fredrik Dahlqvist, Renato Neves
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence e…
A Probabilistic Approach to Floating-Point Arithmetic
Fredrik Dahlqvist, Rocco Salvia, George A Constantinides
Finite-precision floating point arithmetic unavoidably introduces rounding errors which are traditionally bounded using a worst-case analysis. However, worst-case analysis might be…
Semantics of higher-order probabilistic programs with conditioning
Fredrik Dahlqvist, Dexter Kozen
We present a denotational semantics for higher-order probabilistic programs in terms of linear operators between Banach spaces. Our semantics is rooted in the classical theory of B…
The positivication of coalgebraic logics
Fredrik Dahlqvist, Alexander Kurz
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically comput…