Verifiable composition of deterministic grammars.

August Schwerdfeger, Eric Van Wyk

Browse the full PLDI paper archive.