Ownership Types for Flexible Alias Protection：（保护所有权类型灵活的别名）.pdfVIP

Owners hip Typ e s for Flexible Alias Protection D avid G Cla rke John M Pott er Ja me s No ble Mic ro so ft Re search Instit ut e Mac qua rie U niversity Sydne y A ustralia fclad p ot terkjxgmrimqedu au Abstr act mo del of exible a lia s pro tectio n s upp orted by ill us tra tive examples a nd sug gested i nc orp ora ti ng a lia sing mo des into Ob je cto riented pro gra mming l anguag es a llow i nterob j ect prog ramming la nguage s Fo r exible al ia s pro te ction three a lia sing Al tho ug h necess ary to construct l inked da ta s truc ke y prop erties a re requi red no represe ntati on e xp os ure no tures a nd networks of inte racting o b jects al ias ing is pro b ro le co nf usio n b etwe en entiti es w ith di erent mo des and l ematic i n that an a ggr egate o b ject s state can cha nge vi a an li mited dep ende nce on the muta bl e s ta te o f other o b jects a lia s to o ne of its co mp o ne nts w itho ut the ag greg ate b ei ng not a ddres sed i n this pa p er aware o f any ali asi ng In the c urrent pap er we intro duce owne rship types Owne rship types f orm a sta tic typ e system that indica te s sta tic typ es annotated wi th context decla ratio ns tha t rep o b ject ow ne rship T his provi de s a e xible me cha ni sm to res ent o b jec t owners hi p Fo r a n o b jec tbase d l anguag e we l imit the vis ibili ty of o b jec t ref erences a nd restri ct a cces s co ns truct a typ e sys tem ba sed on ow