Delta-orienterad programmering är en kompositionsstrategi för att flexibelt implementera mjukvaruproduktlinjer. En produktlinje representeras av en kodbas och en produktlinjedeklaration. Kodbasen består av en uppsättning deltamoduler som anger ändringar i objektorienterade program. Produktlinjedeklarationen ger en koppling mellan deltamodulerna och produktegenskaperna. Denna separation ökar återanvändbarheten av deltamoduler. I detta dokument ger vi en grund för kompositionskontroll av delta-orienterade produktlinjer av JAVA-program genom att presentera en minimal kärnanalys för delta-orienterad programmering. Analysen är utrustad med ett begränsningsbaserat typsystem som gör det möjligt att analysera varje deltamodul isolerat, så att även analysresultaten kan återanvändas. Genom att kombinera analysresultaten för deltamodulerna med produktlinjedeklarationen är det möjligt att fastställa att alla produkter i produktlinjen är väldefinierade enligt JAVA-typsystemet.
För delta-orienterade produktlinjer finns ett system av kompositionstyp, som dock kräver att man kontrollerar en abstraktion av varje programvariant REF.
Compositional type-checking for delta-oriented programming
{'venue': "AOSD '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}