Adding uncertainty and units to quantity types in software models
No abstract available.
Related papers
- Object-oriented units of measurement OOPSLA 2004
- Experience report: type-checking polymorphic units for astrophysics research in Haskell Haskell 2014
- Sums of uncertainty: refinements go gradual POPL 2017
- The next 700 unit of measurement checkers SLE 2018
- Reactive probabilistic programming PLDI 2020
- Partitioning Dataflow Analyses Using Types POPL 1997
- Sound compilation of reals POPL 2014
- Model-Checking Markov Chains in the Presence of Uncertainties TACAS 2006