Notioner av programberoende uppstår i många inställningar: säkerhet, partiell utvärdering, program skivning, och call-tracking. Vi hävdar att det finns en central uppfattning om beroende gemensamt för dessa inställningar som kan fångas inom en enda kalkyl, Dependency Core Calculus (DCC), en liten förlängning av Moggis beräkning lambda kalkyl. För att etablera denna avhandling översätter vi maskinskrivna kalkyler för säkert informationsflöde, bindningstidsanalys, skivning och samtalsspårning till DCC. Översättningarna hjälper till att klargöra aspekter av källkalkylen. Vi definierar också en semantisk modell för DCC och använder den för att ge enkla bevis på icke-interferens resultat för varje fall.
Beroende core calculus (DCC) REF har också en logisk relationsmodell men, återigen, kalkylen är ren.
A core calculus of dependency
{'venue': "POPL '99", 'journal': None, 'mag_field_of_study': ['Computer Science']}