Abstrakt. Logikvariabler som banats väg för (konkurrent) logik och samtidig begränsningsprogrammering är kraftfulla mekanismer för automatisk synkronisering av samtidiga beräkningar. De stöder en deklarativ modell för samstämmighet som undviker att explicit upphäva och återuppta beräkningar. I denna uppsats presenteras Flow Java som konservativt utökar Java med enstaka uppdragsvariabler och terminer som varianter av logiska variabler. Förlängningen är konservativ med avseende på objektorientering, typer, parameter passerar, och samstämmighet i Java. Futures stöder säkra samtidiga abstraktioner och är nödvändiga för sömlös integrering av enskilda tilldelningsvariabler i Java. Vi visar hur Flow Java stöder konstruktion av enkla och koncisa samtidiga programmering abstraktioner. Vi presenterar hur man måttligt förlänga sammanställning och runtime arkitektur av en befintlig Java implementation för Flow Java. Utvärdering med hjälp av standard Java-riktmärken visar att omkostnaderna i de flesta fall är mellan 10% och 40%. För vissa patologiska fall ökar körtiden med upp till 75%.
Flöde Java REF utökar Java med enstaka tilldelningsvariabler, vilket gör att programmerare kan skjuta upp bindningen av objekt till dessa variabler.
Flow Java: Declarative Concurrency for Java
{'venue': 'ICLP', 'journal': None, 'mag_field_of_study': ['Computer Science']}