Selected Scientific Publications

Export 47 results:
Sort by: Author Title Type [ Year  (Desc)]
2013
Alezan A, Bagnara R, Mesnard F, Payet É.  2013.  Détection des fonctions de rang linéaires à terme. Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013). Abstract  Download: AlezanBMP13JFPC.pdf (286.56 KB)
Bagnara R, Mesnard F.  2013.  Eventual Linear Ranking Functions. 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013). :229-238. Abstract  Download: BagnaraM13PPDP.pdf (276.55 KB)
Bagnara R, Carlier M, Gori R, Gotlieb A.  2013.  Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation. :10. Abstract  Download: BagnaraCGG13ICST.pdf (367.36 KB)
2012
2010
Bagnara R, Hill PM, Zaffanella E.  2010.  Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. Computational Geometry: Theory and Applications. 43(5):453–473. Abstract  Download: BagnaraHZ10CGTA.pdf (339.41 KB)
2009
2008
2007
Bagnara R, Dobson K, Hill PM, Mundell M, Zaffanella E.  2007.  Grids: A Domain for Analyzing the Distribution of Numerical Values. Logic-based Program Synthesis and Transformation, 16th International Symposium. 4407:219–235. Abstract  Download: BagnaraDHMZ07.pdf (222.94 KB)
2006
Hill PM, Spoto F.  2006.  Deriving Escape Analysis by Abstract Interpretation. Higher-Order and Symbolic Computation. 19(4):415–463. Abstract
Bagnara R, Hill PM, Zaffanella E.  2006.  Widening Operators for Powerset Domains. Software Tools for Technology Transfer. 8(4/5):449–466. Abstract  Download: BagnaraHZ06STTT.pdf (362.41 KB)
2005
Mesnard F, Bagnara R.  2005.  cTI: A Constraint-Based Termination Inference Tool for ISO-Prolog. Theory and Practice of Logic Programming. 5(1&2):243–257. Abstract  Download: MesnardB05TPLP.pdf (252.51 KB)
Bagnara R, Zaffanella E, Hill PM.  2005.  Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation. Theory and Practice of Logic Programming. 5(1&2):1-43. Abstract  Download: BagnaraZH05TPLP.pdf (449.66 KB)
Bagnara R, Rodríguez-Carbonell E, Zaffanella E.  2005.  Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. Static Analysis: Proceedings of the 12th International Symposium. 3672:19–34. Abstract  Download: BagnaraR-CZ05.pdf (184.1 KB)
Bagnara R, Hill PM, Ricci E, Zaffanella E.  2005.  Precise Widening Operators for Convex Polyhedra. Science of Computer Programming. 58(1-2):28–56. Abstract  Download: BagnaraHRZ05SCP.pdf (273.43 KB)
2004
2003
2002
Zaffanella E, Hill PM, Bagnara R.  2002.  Decomposing Non-Redundant Sharing by Complementation. Theory and Practice of Logic Programming. 2(2):233–261. Abstract  Download: ZaffanellaHB02TPLP.pdf (237.44 KB)
Hill PM, Spoto F.  2002.  A Foundation of Escape Analysis. Algebraic Methodology and Software Technology; Proceedings of 9th International Conference, AMAST 2002. 2422:380–395. Abstract
Bagnara R, Hill PM, Zaffanella E.  2002.  Set-Sharing is Redundant for Pair-Sharing. Theoretical Computer Science. 277(1-2):3–46. Abstract  Download: BagnaraHZ02TCS.pdf (413.66 KB)
Hill PM, Bagnara R, Zaffanella E.  2002.  Soundness, Idempotence and Commutativity of Set-Sharing. Theory and Practice of Logic Programming. 2(2):155–201. Abstract  Download: HillBZ02TPLP.pdf (406.08 KB)
2001
Bagnara R, Zaffanella E, Gori R, Hill PM.  2001.  Boolean Functions for Finite-Tree Dependencies. Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001). 2250:579–594.
Bagnara R, Gori R, Hill PM, Zaffanella E.  2001.  Finite-Tree Analysis for Constraint Logic-Based Languages. Static Analysis: 8th International Symposium, SAS 2001. 2126:165–184.
2000
Bagnara R, Hill PM, Zaffanella E.  2000.  Efficient Structural Information Analysis for Real CLP Languages. Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000). 1955:189–206.
Hill PM, Spoto F.  2000.  Analysis of Downward Closed Properties of Logic Programs. Proceedings of the International Conference on Algebraic Methodology and Software Technology. 1816:181–196. Abstract
1999
Bagnara R, Schachte P.  1999.  Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. Proceedings of the ``Seventh International Conference on Algebraic Methodology and Software Technology (AMAST'98)''. 1548:471–485.
Hill PM, Spoto F.  1999.  Freeness Analysis through Linear Refinement. Static Analysis: Proceedings of the 6th International Symposium. :85–100. Abstract
King A, Smaus J-G, Hill PM.  1999.  Quotienting Share for Dependency Analysis. Proceedings of the European Symposium on Programming. 1576:59–73. Abstract
Zaffanella E, Bagnara R, Hill PM.  1999.  Widening Sharing. Principles and Practice of Declarative Programming. 1702:414–431.
1998
Hill PM, Bagnara R, Zaffanella E.  1998.  The Correctness of Set-Sharing. Static Analysis: Proceedings of the 5th International Symposium. 1503:99–114.
1997
Zaffanella E, Giacobazzi R, Levi G.  1997.  Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming. 1997:1–34. Abstract  Download: ZaffanellaGL97JFLP.pdf (329.28 KB)
Hill PM, King A.  1997.  Determinacy and Determinacy Analysis. Journal of Programming Languages. 5(1):135–171. Abstract
Bagnara R, Hill PM, Zaffanella E.  1997.  Set-Sharing is Redundant for Pair-Sharing. Static Analysis: Proceedings of the 4th International Symposium. 1302:53–67.
1996
Bagnara R.  1996.  A Reactive Implementation of Pos Using ROBDDs. Programming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium. 1140:107–121.
1994
1993
Bagnara R, Giacobazzi R, Levi G.  1993.  An Application of Constraint Propagation to Data-Flow Analysis. Proceedings of ``The Ninth Conference on Artificial Intelligence for Applications''. :270–276.
1992
Bagnara R, Giacobazzi R, Levi G.  1992.  Static Analysis of CLP Programs over Numeric Domains. Actes ``Workshop on Static Analysis '92''. 81–82:43–50.