Abstrakt. Många program underhållsproblem orsakas av att använda textredigerare för att ändra program. Ett mer systematiskt och tillförlitligt sätt att utföra programuppdateringar är att uttrycka ändringar med ett uppdateringsspråk. I synnerhet bör uppdateringarna bevara syntax- och typkorrektheten hos de transformerade objektprogrammen. Vi beskriver en uppdatering kalkyl som kan användas för att uppdatera lambdacalculus program. Vi utvecklar ett typsystem för uppdateringsspråket som innehåller de möjliga typändringar som kan orsakas av ett uppdateringsprogram. Vi visar att typ-säkra uppdateringsprogram som uppfyller vissa strukturella begränsningar bevara typ-korrigering av lambda termer.
I REF har vi infört en uppdateringskalkyl för den implicit inskrivna lambdakalkylen tillsammans med ett typbytessystem som kan sluta sig till eventuella typändringar orsakade av uppdateringar.
Type-Safe Update Programming
{'venue': 'IN 12TH EUROPEAN SYMP. ON PROGRAMMING, LNCS 2618', 'journal': None, 'mag_field_of_study': ['Computer Science']}