Up2Europe est un accélérateur d’idées pour des projets de coopération.
La plateforme Ma Région Sud fait partie de l'écosystème de Up2Europe qui permet de booster la coopération à un niveau supérieur!
Besoin d'aide ? La Région Sud vous accompagne
Laissez-vous guider par notre équipe d'experts ! Saisissez votre mail et nous reviendrons vers vous rapidement
General Reasoning for Imperative Programs
(GRIP)
Date du début: 12 mars 2015,
Date de fin: 11 mars 2017
PROJET
TERMINÉ
It is hard to reason about imperative programs, especially when concurrency and pointers are involved. Such programs are inherently complex, but the reasoning problem is exacerbated by conventional formalisms that demand, and thus encourage, tedious and overly detailed proofs. This project aims to get a GRIP on reasoning by adopting a novel formalisation that holds promise to make proofs simpler and more general. In particular, the goals of GRIP are 1) to equip popular reasoning techniques with simpler semantic foundations that render proofs more tractable, and 2) to accommodate realistic programming languages in a general way. The approach to overcome the complexity of these goals is to separate concerns in a new way: use simple mathematical models and algebraic laws at the core, and build reasoning techniques and languages around it to maximise understanding and reuse.
Accédez au prémier réseau pour la cooperation européenne
Se connecter
Bonjour, vous êtes sur la plateforme Région Sud Provence-Alpes-Côte d’Azur dédiée aux programmes thématiques et de coopération territoriale. Une équipe d’experts vous accompagne dans vos recherches de financements.
Contactez-nous !
Contactez la Région Sud Provence-Alpes-Côte d'Azur
Vous pouvez nous écrire en Anglais, Français et Italien