Kappa : Insights, Current Status and Future Work

Conference object English OPEN
Castegren, Elias; Wrigstad, Tobias;
(2016)
  • Publisher: Uppsala universitet, Datalogi
  • Subject: Type systems | Language Implementation | Capabilities | Traits | Concurrency | Object-Oriented | Computer Sciences | Datavetenskap (datalogi)

KAPPA is a type system for safe concurrent object-oriented program- ming using reference capabilities. It uses a combination of static and dynamic techniques to guarantee data-race freedom, and, for a certain subset of the system, non-interference (and thereby determin-... View more
Share - Bookmark