Funder
Innoviris
Vrije Universiteit Brussel
Subject
Hardware and Architecture,Information Systems,Software
Reference97 articles.
1. Types for safe locking: static race detection for java;Abadi;ACM Trans. Program. Lang. Syst.,2006
2. Revised5 report on the algorithmic language scheme;Abelson;High. Order Symb. Comput.,1998
3. A foundation for actor computation;Agha;J. Funct. Program.,1997
4. ACTORS - A model of concurrent computation in distributed systems;Agha,1986
5. Systematic approaches for increasing soundness and precision of static analyzers;Andreasen,2017
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cross-Level Debugging for Static Analysers;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. Change Pattern Detection for Optimising Incremental Static Analysis;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
3. Result Invalidation for Incremental Modular Analyses;Lecture Notes in Computer Science;2023
4. MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023
5. Summary-Based Compositional Analysis for Soft Contract Verification;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10