Abstrakt. Vi presenterar ett typsystem för en kompilering-tid analys av heapspace krav Java stil objektorienterade program med explicit deallocation. Vårt system bygger på en avskrivningarad komplexitetsanalys: uppgifterna tilldelas godtyckligt en potential i förhållande till dess storlek och layout; tilldelningar måste "betalas" från denna potential. Potentialen för varje indata ger sedan en övre gräns på högen utrymme användning för beräkningen på denna indata. Vi behandlar arv, nedslagenhet, uppdatering och alias framgångsrikt. Exempel på tillämpningar för analysen är destinationspasseringsstil och dubbellänkade listor. Typen slutledning är uttryckligen inte inkluderad; bidraget ligger i själva systemet och den icke-triviala sundhet teorem. Detta utvidgade abstrakta elides mest tekniska lemmas och bevis, även icke-triviala, på grund av utrymme begränsningar. En fullständig version finns på författarnas webbsidor.
Hofmann och Jost REF föreslår en typbaserad hög rymdanalys för Java stil OO-program med explicit deallocation.
Type-Based Amortised Heap-Space Analysis
{'venue': 'In ESOP 2006, LNCS 3924', 'journal': None, 'mag_field_of_study': ['Computer Science']}