Academic Journal
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
| Τίτλος: | PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs |
|---|---|
| Συγγραφείς: | Ebner, Gabriel, Martínez, Guido, Rastogi, Aseem, Dardinier, Thibault, Frisella, Megan, Ramananandro, Tahina, Swamy, Nikhil |
| Πηγή: | Proceedings of the ACM on Programming Languages. 9(PLDI):1516-1539 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3729311 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!