Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Partnerships and Cooperations
Inria | Raweb 2013 | Exploratory Action
XML PDF e-pub
PDF e-Pub

Section: New Results

Safety of aerospace systems

Pierre Néron has designed a method to transform straight line programs, such as those used in some aerospace systems into others that do not use some operations such as, square roots and divisions that cannot be performed exactly on decimal numbers. To this end he has defined a new notion of anti-unification, called constrained anti-unification, and a new anti-unification algorithm.