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]

Authors

August Schwerdfeger

This author has not been identified. Look up 'August Schwerdfeger' in Google

Eric Van Wyk

Identified as Eric {Van Wyk}