دورية أكاديمية
Iris from the ground up:A modular foundation for higher-order concurrent separation logic
| العنوان: | Iris from the ground up:A modular foundation for higher-order concurrent separation logic |
|---|---|
| المؤلفون: | JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREK |
| المصدر: | JUNG , RALF , KREBBERS , ROBBERT , JOURDAN , JACQUES-HENRI , BIZJAK , ALEŠ , BIRKEDAL , LARS & DREYER , DEREK 2018 , ' Iris from the ground up : A modular foundation for higher-order concurrent separation logic ' , Journal of Functional Programming , vol. 28 , e20 , pp. 1-73 . https://doi.org/10.1017/S0956796818000151Test |
| سنة النشر: | 2018 |
| المجموعة: | Aarhus University: Research |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| DOI: | 10.1017/S0956796818000151 |
| الإتاحة: | https://doi.org/10.1017/S0956796818000151Test https://pure.au.dk/portal/da/publications/iris-from-the-ground-upTest(f1bba4c3-ea26-479b-9fa4-5f69b0082ac7).html https://hal.archives-ouvertes.fr/hal-01945446/documentTest |
| حقوق: | info:eu-repo/semantics/closedAccess |
| رقم الانضمام: | edsbas.31963D31 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1017/S0956796818000151 |
|---|