Verifiable composition of deterministic grammars

August Schwerdfeger, Eric Van Wyk. Verifiable composition of deterministic grammars. In Michael Hind, Amer Diwan, editors, Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. pages 199-210, ACM, 2009. [doi]

Abstract

Abstract is missing.