Numeric domains meet algebraic data types-Reference-Cited by-同舟云学术

Numeric domains meet algebraic data types

Published:2020-11-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
language:
Short-container-title:

Author:

Bautista Santiago¹^ORCID,Jensen Thomas²,Montagu Benoît²

Affiliation:

1. ENS Rennes, France / Inria, France

2. Inria, France

Publisher

ACM

Link

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

Reference17 articles.

1. Oana Fabiana Andreescu Thomas Jensen Stéphane Lescuyer and Benoît Montagu. 2019. Inferring frame conditions with static correlation analysis. PACMPL 3 POPL ( 2019 ) 47 : 1-47 : 29. Oana Fabiana Andreescu Thomas Jensen Stéphane Lescuyer and Benoît Montagu. 2019. Inferring frame conditions with static correlation analysis. PACMPL 3 POPL ( 2019 ) 47 : 1-47 : 29.

2. Santiago Bautista Thomas Jensen and Benoît Montagu. 2020. Combining static correlation analysis with relational numeric domains. Internship report. ENS Rennes. htps://sbautista.fr/internship_report_2020.pdf Santiago Bautista Thomas Jensen and Benoît Montagu. 2020. Combining static correlation analysis with relational numeric domains. Internship report. ENS Rennes. htps://sbautista.fr/internship_report_2020.pdf

3. The ASTREÉ Analyzer

4. Automatic discovery of linear restraints among variables of a program

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

1. An input–output relational domain for algebraic data types and functional arrays;Formal Methods in System Design;2024-06-13

2. Abstract interpretation of Michelson smart-contracts;Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2022-06-14

3. Lifting Numeric Relational Domains to Algebraic Data Types;Static Analysis;2022