Stem defined$ (all stems)

4 papers:

SLE-2012-KaminskiW #analysis #attribute grammar #composition

Modular Well-Definedness Analysis for Attribute Grammars (TK, EVW), pp. 352–371.

RTA-2009-Zantema #termination

Well-Definedness of Streams by Termination (HZ), pp. 164–178.

IJCAR-2008-DarvasMR #performance

Efficient Well-Definedness Checking (ÁD, FM, AR), pp. 100–115.

PODS-2005-Vansummeren #xquery

Deciding well-definedness of XQuery fragments (SV), pp. 37–48.