21 citations · 78 across the 23 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.AI2013
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
Roberto Bagnara, Matthieu Carlier, Roberta Gori +1
Floating-point computations are quickly finding their way in the design of safety- and mission-critical systems, despite the fact that designing floating-point algorithms is signif…
cs.PL2013★ 16 cited
Eventual Linear Ranking Functions
Roberto Bagnara, Fred Mesnard
Program termination is a hot research topic in program analysis. The last few years have witnessed the development of termination analyzers for programming languages such as C and…
cs.PL2013
Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems
Nicos Angelopoulos, Roberto Bagnara
This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th,…