Author:
Bardin Sébastien,Finkel Alain,Leroux Jérôme,Petrucci Laure
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Ramsey Quantifiers in Linear Arithmetics;Proceedings of the ACM on Programming Languages;2024-01-05
2. A case study on parametric verification of failure detectors;Logical Methods in Computer Science;2023-03-06
3. FlashFill++: Scaling Programming by Example by Cutting to the Chase;Proceedings of the ACM on Programming Languages;2023-01-09
4. Automated Polyhedral Abstraction Proving;Application and Theory of Petri Nets and Concurrency;2023
5. A calculus for modular loop acceleration and non-termination proofs;International Journal on Software Tools for Technology Transfer;2022-10