Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extending Liquid Types to Arrays;ACM Transactions on Computational Logic;2020-04-30
2. Adaptive Software;Adaptable Embedded Systems;2012-10-20