Linpeng Zhang

According to our database¹, Linpeng Zhang authored at least 4 papers between 2021 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Quantitative strongest post: a calculus for reasoning about the flow of quantitative information.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Intensional Kleene and Rice theorems for abstract program semantics.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Quantitative Strongest Post.

[BibT_eX]

[DOI]

CoRR, 2022

2021

A Rice's Theorem for Abstract Semantics.

[BibT_eX]

[DOI]

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021