2

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
Cite URL
Intensional Kleene and Rice theorems for abstract program semantics
Classical results in computability theory, notably Rice’s theorem, focus on the extensional content of programs, namely, on the …
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
Cite DOI URL
Quantitative strongest post: a calculus for reasoning about the flow of quantitative information
Linpeng Zhang, Benjamin Lucien Kaminski
Cite DOI URL