Ett enkelt trädliknande programmerings- och specificeringsspråk presenteras. Den centrala idén är att dela upp konventionella programmeringskonstruktioner i de två klasserna av och eller subgoaling, det undermåliga trädet självt som utgör programmet. Program skrivna på språket kan i allmänhet vara både icke-deterministiska och parallella. Språkets syntax och semantik definieras, en metod för att verifiera program skrivna i det beskrivs och den praktiska betydelsen av programmering i det språk som bedöms. Slutligen anges några anvisningar för ytterligare forskning.
Idén att använda alternation som ett programmeringsparadigm går tillbaka till Harel Refs arbete, som föreslog ett programmeringsspråk som delar upp konventionell programmering i klasser av "och-" och "eller-subgoals".
And/Or Programs: A New Approach to Structured Programming
{'venue': 'TOPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}