Typestate via Revocable Capabilities

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Typestate via Revocable Capabilities
Συγγραφείς:	Jia, Songlin, Liu, Craig, He, Siyuan, Deng, Haotian, Bao, Yuyan, Rompf, Tiark
Πηγή:	Proceedings of the ACM on Programming Languages. 10(PLDI):1915-1939
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3808323
Βάση Δεδομένων:	ACM Full-Text Collection

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