Lazy and incremental program generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software Language Engineering
Verifiable composition of deterministic grammars
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Hi-index | 0.00 |