Flexible Immutability with Frozen Objects-Reference-Cited by-同舟云学术

Flexible Immutability with Frozen Objects

Published: Issue: Volume: Page:192-208
ISSN:0302-9743
Container-title:Verified Software: Theories, Tools, Experiments
language:
Short-container-title:

Author:

Leino K. Rustan M.,Müller Peter,Wallenburg Angela

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-87873-5_17.pdf

Reference25 articles.

1. Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: OOPSLA, pp. 311–330. ACM Press, New York (2002)

2. Barnett, M., DeLine, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. JOT 3(6), 27–56 (2004), www.jot.fm

3. Lecture Notes in Computer Science;M. Barnett,2004

4. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: POPL, vol. 40(1), pp. 259–270. ACM, New York (2005)

5. Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. Ph.D., MIT (2004)

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

1. Using capabilities for strict runtime invariant checking;Science of Computer Programming;2022-12

2. CiFi: Versatile Analysis of Class and Field Immutability;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11

3. Analyzing permission transfer channels for dynamically typed languages;Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages;2021-10-19

4. Who Carries the Burden of Modularity?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020

5. A practical type system for safe aliasing;Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24