Author:
Thiemann Peter,Fennell Luminous
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: Static race detection for Java. ACM TOPLAS 28(2), 207–255 (2006)
2. Lecture Notes in Computer Science,2009
3. Lecture Notes in Computer Science;B. Chin,2006
4. Darwin, I.F.: Annabot: A static verifier for java annotation usage. Adv. Software Engineering (2010)
5. Disney, T., Flanagan, C.: Gradual information flow typing. In: STOP 2011 (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Gradualizing the Calculus of Inductive Constructions;ACM Transactions on Programming Languages and Systems;2022-04-06
2. Gradual session types;Journal of Functional Programming;2019
3. Type-Driven Gradual Security with References;ACM Transactions on Programming Languages and Systems;2018-12-13