Author:
Bagnara Roberto,Hill Patricia M.,Zaffanella Enea
Subject
Computational Mathematics,Computational Theory and Mathematics,Control and Optimization,Geometry and Topology,Computer Science Applications
Reference46 articles.
1. Domain theory;Abramsky,1994
2. A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages;Bagnara;Sci. Comput. Programming,1998
3. Widening operators for weakly-relational numeric abstractions;Bagnara,2005
4. Not necessarily closed convex polyhedra and the double description method;Bagnara;Formal Aspects Comput.,2005
5. Widening operators for powerset domains;Bagnara;Software Tools Technol. Transfer,2006
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献