Author:
Costan A.,Gaubert S.,Goubault E.,Martel M.,Putot S.
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Bourdoncle, F.: Abstract interpretation by dynamic partitioning. Journal of Functional Programming 2(4), 407–435 (1992)
2. Lecture Notes in Computer Science;F. Bourdoncle,1993
3. Le Charlier, B., Van Hentenryck, P.: A universal top-down fixpoint algorithm. Technical Report CS-92-25, Brown University (May 1992)
4. Lecture Notes in Computer Science;C. Clack,1985
5. Cochet-Terrasson, J.: Algorithmes d’itération sur les politiques pour les applications monotones contractantes. Thèse, École des Mines (December 2001)
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constrained Precision Tuning;2022 8th International Conference on Control, Decision and Information Technologies (CoDIT);2022-05-17
2. A Study of the Floating-Point Tuning Behaviour on the N-body Problem;Computational Science and Its Applications – ICCSA 2021;2021
3. Fast and Efficient Bit-Level Precision Tuning;Static Analysis;2021
4. A Change-Based Heuristic for Static Analysis with Policy Iteration;Static Analysis;2019
5. Programming Z3;Engineering Trustworthy Software Systems;2019