Reference Abstract Domains and Applications to String Analysis-Reference-Cited by-同舟云学术

Reference Abstract Domains and Applications to String Analysis

Author:

Amadini Roberto¹,Gange Graeme²,Gauthier François³,Jordan Alexander⁴,Schachte Peter⁵,Søndergaard Harald⁶,Stuckey Peter J.⁷,Zhang Chenyi⁸

Affiliation:

1. School of Computing and Information Systems, The University of Melbourne, Australia. roberto.amadini@unimelb.edu.au

2. School of Computing and Information Systems, The University of Melbourne, Australia. gkgange@unimelb.edu.au

3. Oracle Labs, Brisbane, Australia. francois.gauthier@oracle.com

4. Oracle Labs, Brisbane, Australia. alexander.jordan@oracle.com

5. School of Computing and Information Systems, The University of Melbourne, Australia. schachte@unimelb.edu.au

6. School of Computing and Information Systems, The University of Melbourne, Australia. harald@unimelb.edu.au

7. School of Computing and Information Systems, The University of Melbourne, Australia. pstuckey@unimelb.edu.au

8. College of Information Science and Technology, Jinan University, Guangzhou, China. chenyi_zhang@jnu.edu.cn

Publisher

IOS Press

Subject

Computational Theory and Mathematics,Information Systems,Algebra and Number Theory,Theoretical Computer Science

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

2. Lifting String Analysis Domains;Intelligent Systems Reference Library;2023

3. Relational String Abstract Domains;Lecture Notes in Computer Science;2022

4. String Abstract Domains and Their Combination;Logic-Based Program Synthesis and Transformation;2022