Feb 14, 2022 · We present a novel strongest-postcondition-style calculus for quantitative reasoning about non-deterministic programs with loops.

Apr 29, 2022 · We present a novel strongest-postcondition-style calculus for quantitative reasoning about non-deterministic programs with loops.

Feb 14, 2022 · We show how strongest post enables reasoning about the flow of quantitative information through programs. Similarly to weakest liberal ...

We present a novel strongest-postcondition-style calculus for quantitative reasoning about non-deterministic programs with loops.

We present a novel strongest-postcondition-style calculus for quantitative reasoning about non-deterministic programs with loops.

Quantitative strongest post: a calculus for reasoning about the flow of quantitative information. Linpeng Zhang, Benjamin Lucien Kaminski. January, 2022.

Quantitative strongest post: a calculus for reasoning about the flow of quantitative information. L Zhang, BL Kaminski. Proceedings of the ACM on Programming ...

We present a novel weakest pre calculus for reasoning about quantitative hyperproperties over nondeterministic and probabilistic programs.

Aug 5, 2024 · Quantitative strongest post: a calculus for reasoning about the flow of quantitative information. Proc. ACM Program. Lang. 6(OOPSLA1): 1-29 ...

Quantitative strongest post: a calculus for reasoning about the flow of quantitative information. Linpeng Zhang, Benjamin Lucien Kaminski. Cite DOI URL · A ...