Παρακολούθηση
Linpeng Zhang
Linpeng Zhang
PhD Student, UCL
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ucl.ac.uk
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
14*2022
A Rice’s theorem for abstract semantics
P Baldan, F Ranzato, Z Linpeng
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 198, 1-19, 2021
42021
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
L Zhang, N Zilberstein, BL Kaminski, A Silva
arXiv preprint arXiv:2404.05097, 2024
2024
Intensional Kleene and Rice theorems for abstract program semantics
P Baldan, F Ranzato, L Zhang
Information and Computation 289, 104953, 2022
2022
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–4