Author:
Maréchal Alexandre,Monniaux David,Périn Michaël
Publisher
Springer International Publishing
Reference32 articles.
1. Bastoul, C.: Contributions to high-level program optimization. Habilitation thesis, Université Paris-Sud (2012)
2. Benoy, F., King, A., Mesnard, F.: Computing convex hulls with a linear solver. Theor. Pract. Logic Program. (TPLP) 5(1–2), 259–271 (2005)
3. Chernikova, N.V.: Algorithm for discovering the set of all the solutions of a linear programming problem. USSR Comput. Math. Math. Phys. 8(6), 282–293 (1968)
4. Chvatal, V.: Linear Programming. Series of books in the Mathematical Sciences. W.H. Freeman, New York (1983)
5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: ACM Principles of Programming Languages (POPL), pp. 238–252. ACM Press (1977)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献