Takip et
Xuan-Bach Le
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Decision procedures over sophisticated fractional permissions
XB Le, C Gherghina, A Hobor
Asian Symposium on Programming Languages and Systems (APLAS), 368-385, 2012
212012
Logical reasoning for disjoint permissions
XB Le, A Hobor
European Symposium on Programming (ESOP), 2018
172018
A quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic
XB Le, SW Lin, J Sun, D Sanan
Proceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022
152022
Monadic Decomposability of Regular Relations
P Barcelo, CD Hong, XB Le, AW Lin, R Niskanen
ICALP, 2019
112019
A Certified Decision Procedure for Tree Shares
XB Le, TT Nguyen, WN Chin, A Hobor
International Conference on Formal Methods and Software Engineering (ICFEM), 2017
112017
Decidability and Complexity of Tree Share Formulas
XB Le, A Hobor, AW Lin
IARCS Annual Conference on Foundations of Software Technology and …, 2016
82016
Automatic verification of multi-threaded programs by inference of rely-guarantee specifications
XB Le, D Sanán, S Jun, SW Lin
2020 25th International Conference on Engineering of Complex Computer …, 2020
22020
Complexity Analysis of Tree Share Structure
XB Le, A Hobor, AW Lin
Asian Symposium on Programming Languages and Systems (APLAS), 2018
2018
Thesis: Disjoint fractional permissions in verification: Applications, Systems and Theory
XB Le
National University of Singapore, 2017
2017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–9