Author:
Chin Brian,Markstrum Shane,Millstein Todd,Palsberg Jens
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: Proceedings of the ACMSIGPLAN 2001 conference on Programming language design and implementation, pp. 203–213. ACM Press, New York (2001)
2. Chin, B., Markstrum, S., Millstein, T.: Semantic type qualifiers. In: PLDI 2005: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 85–95. ACM Press, New York (2005)
3. Chin, B., Markstrum, S., Millstein, T., Palsberg, J.: Inference of user-defined type qualifiers and qualifier rules. Technical Report CSD-TR-050041, UCLA Computer Science Department (October 2005)
4. Davies, R., Pfenning, F.: Intersection types and computational effects. In: ICFP 2000: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 198–208. ACM Press, New York (2000)
5. Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: A theorem prover for program checking. Technical Report HPL-2003-148, HP Labs (2003)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AtomiS: Data-Centric Synchronization Made Practical;Proceedings of the ACM on Programming Languages;2023-10-16
2. Lightweight verification via specialized typecheckers;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
3. Gradual Typing for Annotated Type Systems;Programming Languages and Systems;2014
4. Ownership Types: A Survey;Lecture Notes in Computer Science;2013
5. Reim & ReImInfer;ACM SIGPLAN Notices;2012-11-15