Progressive program reasoning
Ph.D
محفوظ في:
المؤلف الرئيسي: | RAZVAN VOICU |
---|---|
مؤلفون آخرون: | COMPUTER SCIENCE |
التنسيق: | Theses and Dissertations |
اللغة: | English |
منشور في: |
2010
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/14856 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
A framework for program reasoning based on constraint traces
بواسطة: ANDREW EDWARD SANTOSA
منشور في: (2010) -
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic
بواسطة: LE, Xuan Bach, وآخرون
منشور في: (2022) -
Logical reasoning for disjoint permissions
بواسطة: Le X.-B., وآخرون
منشور في: (2020) -
Enhancing program verification with lemmas
بواسطة: Nguyen, H.H., وآخرون
منشور في: (2013) -
Symbolic Execution for Advanced Program Reasoning
بواسطة: VIJAYARAGHAVAN MURALI
منشور في: (2014)