A unified lattice model and framework for purity analyses-Reference-Cited by-同舟云学术

A unified lattice model and framework for purity analyses

Published:2018-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Helm Dominik¹,Kübler Florian¹,Eichberg Michael¹,Reif Michael¹,Mezini Mira¹

Affiliation:

1. TU Darmstadt, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3238147.3238226

Reference41 articles.

1. Dotty documentation overview – Effect capabilities 2018. Retrieved 2018-04-21. Dotty documentation overview – Effect capabilities 2018. Retrieved 2018-04-21.

2. The Jikes Research Virtual Machine project: Building an open-source research community

3. Fast static analysis of C++ virtual function calls

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

1. A Modular Soundness Theory for the Blackboard Analysis Architecture;Lecture Notes in Computer Science;2024

2. SourcererJBF: A Java Build Framework For Large-Scale Compilation;ACM Transactions on Software Engineering and Methodology;2023-12-02

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

4. Statically driven generation of concurrent tests for thread‐safe classes;Software Testing, Verification and Reliability;2021-05-04

5. How much Specification is Enough? Mutation Analysis for Software Contracts;2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE);2021-05