Seguir
Linpeng Zhang
Linpeng Zhang
PhD Student, UCL
Dirección de correo verificada de ucl.ac.uk
Título
Citado por
Citado por
Año
Quantitative strongest post: a calculus for reasoning about the flow of quantitative information
L Zhang, BL Kaminski
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-29, 2022
21*2022
A Rice’s theorem for abstract semantics
P Baldan, F Ranzato, L Zhang
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 198, 1-19, 2021
52021
Quantitative weakest hyper pre: Unifying correctness and incorrectness hyperproperties via predicate transformers
L Zhang, N Zilberstein, BL Kaminski, A Silva
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 817-845, 2024
32024
Intensional Kleene and Rice theorems for abstract program semantics
P Baldan, F Ranzato, L Zhang
Information and Computation 289, 104953, 2022
2022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4