Gilgul är en förlängning av Java programmeringsspråk som möjliggör dynamisk objektersättning utan problem med konsekvens. Detta är möjligt på ett semantiskt rent sätt eftersom dess modell strikt skiljer de begrepp om referens och jämförelse som vanligen subsumeras i begreppet objektidentitet. Detta papper skisserar problem som uppstår i försök att ersätta aktiva objekt och presenterar några lösningar, inklusive både varianter som bevarar konsekvens och de som handel konsekvens för aktualitet. De senare möjliggörs med hjälp av den nya återkallningskonstruktionen som till och med gör det möjligt att ersätta föremål med icke-avslutande slingor.
I REF utvecklade författarna GILGUL-tillägget till Java-språket för dynamisk objektersättning.
Dynamic Replacement of Active Objects in the Gilgul Programming Language
{'venue': 'Component Deployment', 'journal': None, 'mag_field_of_study': ['Computer Science']}