Stem determinaci$ (all stems)

19 papers:

CSL-2015-Klein0 #game studies #lookahead #what

What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead (FK, MZ), pp. 519–533.

LICS-2015-GogaczM #decidability #query

The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable (TG, JM), pp. 281–292.

OOPSLA-2014-AndreasenM #static analysis

Determinacy in static analysis for jQuery (EA, AM), pp. 17–31.

PLDI-2013-SchaferSDT #analysis

Dynamic determinacy analysis (MS, MS, JD, FT), pp. 165–174.

LATA-2013-HashimotoSISF #bottom-up #transducer

Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (KH, RS, YI, HS, TF), pp. 335–346.

CSL-2012-Hida #axiom

A Computational Interpretation of the Axiom of Determinacy in Arithmetic (TH), pp. 335–349.

SAC-2011-ZhengC #database #query

Determinacy and rewriting of conjunctive queries over unary database schemas (LZ, HC), pp. 1039–1044.

ICLP-J-2011-KrienerK #named #prolog

RedAlert: Determinacy inference for Prolog (JK, AK), pp. 537–553.

LICS-2009-BertrandGG #decidability #game studies #probability

Qualitative Determinacy and Decidability of Stochastic Games with Signals (NB, BG, HG), pp. 319–328.

ICALP-v2-2006-Kopczynski #game studies #infinity

Half-Positional Determinacy of Infinite Games (EK), pp. 336–347.

ICLP-2006-KingLG #detection #prolog #source code

Detecting Determinacy in Prolog Programs (AK, LL, SG), pp. 132–147.

PODS-2005-SegoufinV #query

Views and queries: determinacy and rewriting (LS, VV), pp. 49–60.

ESOP-2005-LuK #logic programming #source code

Determinacy Inference for Logic Programs (LL, AK), pp. 108–123.

LOPSTR-2004-Lopez-GarciaBH #analysis #logic programming #source code #using

Determinacy Analysis for Logic Programs Using Mode and Type Information (PLG, FB, MVH), pp. 19–35.

ICLP-1995-PontelliGT #implementation #optimisation #prolog

Determinacy Driven Optimizations of And-Parallel Prolog Implementations (EP, GG, DT), pp. 615–629.

ICLP-1993-DawsonRRS #logic programming #source code

Extracting Determinacy in Logic Programs (SD, CRR, IVR, RCS), pp. 424–438.

LICS-1992-Klarlund #automaton #metric #set

Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata (NK), pp. 382–393.

PEPM-1991-Sahlin #analysis #prolog

Determinacy Analysis for Full Prolog (DS), pp. 23–30.

SLP-1985-SawamuraT85 #optimisation #prolog #recursion

Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization (HS, TT), pp. 200–207.