Ägartyper ger ett statiskt verkställbart sätt att specificera objektinkapsling och möjliggöra lokala resonemang om program korrekthet i objektorienterade språk. Ett typsystem som tillämpar strikt inkapsling av föremål är dock alltför restriktivt: det tillåter inte ett effektivt genomförande av viktiga konstruktioner som iteratorer. Detta dokument hävdar att det rätta sättet att lösa problemet är att tillåta objekt av klasser som definieras i samma modul att ha privilegierad tillgång till varandras representationer; vi visar hur man gör detta för inre klasser. Detta tillvägagångssätt tillåter programmerare att uttrycka konstruktioner som iteratorer och stöder ändå lokala resonemang om klassernas korrekthet, eftersom en klass och dess inre klasser tillsammans kan resoneras om som en modul. Papperet skisserar också hur vi använder vår variant av ägartyper för att möjliggöra effektiva uppgraderingar av programvara i ihållande objektbutiker.
REF använder ägartyper för objektinkapsling och lokalt resonemang om programkorrekthet.
Ownership types for object encapsulation
{'venue': "POPL '03", 'journal': None, 'mag_field_of_study': ['Computer Science']}