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

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3729311