Yüklüyor......
Witnessing the elimination of magic wands
This paper discusses static verification of programs that have been specified using separation logic with magic wands. Magic wands are used to specify incomplete resources in separation logic, i.e., if missing resources are provided, a magic wand allows one to exchange these for the completed resour...
Kaydedildi:
| Yayımlandı: | Int J Softw Tools Technol Transf |
|---|---|
| Asıl Yazarlar: | , |
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
Springer Berlin Heidelberg
2015
|
| Konular: | |
| Online Erişim: | https://ncbi.nlm.nih.gov/pmc/articles/PMC4841211/ https://ncbi.nlm.nih.gov/pubmed/27194940 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10009-015-0372-3 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|