JPure: A Modular Purity System for Java-Reference-Cited by-同舟云学术

JPure: A Modular Purity System for Java

Published:2011 Issue: Volume: Page:104-123
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Pearce David J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-19861-8_7

Reference36 articles.

1. Barnett, M., Naumann, D.A., Schulte, W., Sun, Q.: 99.44% pure: Useful abstractions in specification. In: Proc. FTFJP, pp. 11–19 (2004)

2. Lecture Notes in Computer Science;W.C. Benton,2009

3. Bierhoff, K., Aldrich, J.: Lightweight object specification with typestates. In: ESEC/SIGSOFT FSE, pp. 217–226. ACM Press, New York (2005)

4. Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: Proc. POPL, pp. 213–223. ACM Press, New York (2003)

5. Lecture Notes in Computer Science;N. Cataño,2002

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022

2. Reachability types: tracking aliasing and separation in higher-order functional programs;Proceedings of the ACM on Programming Languages;2021-10-20

3. MetPurity;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21

4. Putting the semantics into semantic versioning;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17

5. NullAway: practical type-based null safety for Java;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12