En integrerad del av genomförandet funktionella språk är stängning omvandling-processen för att omvandla kod med fria variabler till stängd kod och hjälpdatastrukturer. Avslutningskonvertering har studerats i stor utsträckning i detta sammanhang, men förekommer också i språk med förstklassiga objekt. Faktum är att en variant av Javas inre klasser är ett exempel på objekt som måste stängas konverteras, och omvandlingen för att omvandla dessa inre klasser till Java Virtual Machine klasser är ett exempel på stängning omvandling. I detta dokument hävdas att en direkt formulering av objekt stängning omvandling är intressant och ger ytterligare inblick i allmän nedläggning omvandling. Den presenterar en formell slut-konversion översättning för en andra-order objektspråk och bevisar det korrekt. Översättningen och bevisen generaliseras till andra objektorienterade språk, och i dokumentet ges några exempel till stöd för detta uttalande. Slutligen diskuteras det välkända sambandet mellan funktionsstängningar och en metodobjekt. Denna anslutning formaliseras genom att visa att en kodning av funktioner till objekt, objekt stängning konvertering, och olika objekt kodning komponerar för att ge olika slut-konversion översättningar för funktioner.
Glew REF presenterar avslutningskonvertering för en objektkalkyl och bevisar att den är helt abstrakt.
Object Closure Conversion
{'venue': 'Electr. Notes Theor. Comput. Sci.', 'journal': None, 'mag_field_of_study': ['Computer Science']}