Purity and Side Effect Analysis for Java Programs-Reference-Cited by-同舟云学术

Purity and Side Effect Analysis for Java Programs

Published:2005 Issue: Volume: Page:199-215
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Sălcianu Alexandru,Rinard Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30579-8_14.pdf

Reference35 articles.

1. Ananian, C.S.: MIT FLEX compiler infrastructure for Java (1998-2004), Available from http://www.flex-compiler.lcs.mit.edu

2. Birka, A.: Compiler-enforced immutability for the Java language. Technical Report MIT-LCS-TR-908, MIT Laboratory for Computer Science, Revision of Master’s thesis (June 2003)

3. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: Proc. ISSTA (2002)

4. Boyapati, C., Rinard, M.C.: A parameterized type system for race-free Java programs. In: Proc. 16th OOPSLA (2001)

5. Burdy, L., Cheon, Y., Cok, D., Ernst, M.D., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. Technical Report NII-R0309, Computing Science Institute, Univ. of Nijmegen (2003)

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

1. Timing Side-Channel Mitigation via Automated Program Repair;ACM Transactions on Software Engineering and Methodology;2024-07-16

2. Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18

3. Small-Amp: Test amplification in a dynamically typed language;Empirical Software Engineering;2022-07-08

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

5. How (not) to write Java pointer analyses after 2020;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17