Semantic models and abstract interpretation techniques for inductive data structures and pointers
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Technology transfer: Formal analysis, engineering, and business value;Science of Computer Programming;2015-06
2. Asynchronous sequential processes;Information and Computation;2009-04
3. Type Systems;The Compiler Design Handbook;2007-12-07
4. Encapsulating objects with confined types;ACM Transactions on Programming Languages and Systems;2007-10
5. Encapsulating objects with confined types;ACM SIGPLAN Notices;2001-11