Author:
Militão Filipe,Aldrich Jonathan,Caires Luís
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Ahmed, A., Fluet, M., Morrisett, G.: L3: A linear language with locations. Fundam. Inf. (2007)
2. Beckman, N.E., Bierhoff, K., Aldrich, J.: Verifying correct usage of atomic blocks and typestate. In: OOPSLA (2008)
3. Lecture Notes in Computer Science;N.E. Beckman,2011
4. Bierhoff, K., Aldrich, J.: Modular typestate checking of aliased objects. In: OOPSLA (2007)
5. Caires, L., Seco, J.A.C.: The type discipline of behavioral separation. In: POPL (2013)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types;ACM Transactions on Programming Languages and Systems;2017-09-30
2. Linearity, Control Effects, and Behavioral Types;Programming Languages and Systems;2017
3. Refinement types for TypeScript;ACM SIGPLAN Notices;2016-08
4. Refinement types for TypeScript;Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation;2016-06-02