Follow
Cheng Zhang
Title
Cited by
Cited by
Year
On incorrectness logic and Kleene algebra with top and tests
C Zhang, AA de Amorim, M Gaboardi
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
152022
Lexos 2017: Building reliable software in Python
C Zhang, W Feng, E Steffens, A de Landaluce, S Kleinman, MD LeBlanc
Journal of Computing Sciences in Colleges 33 (6), 124-134, 2018
52018
Developing a Dependently Typed Language with Runtime Proof Search
M Lemay, C Zhang, W Blair
Workshop on Type-Driven Development, 2020
12020
Kleene algebra with commutativity conditions is undecidable
AA de Amorim, M Gaboardi, C Zhang
2024
Kings in generalized tournaments.
C Zhang
Wheaton College (MA)., 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–5