GRIP
General Reasoning for Imperative Programs
| Coordinatore | UNIVERSITY COLLEGE LONDON
Organization address
address: GOWER STREET contact info |
| Nazionalità Coordinatore | United Kingdom [UK] |
| Totale costo | 231˙283 € |
| EC contributo | 231˙283 € |
| Programma | FP7-PEOPLE
Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | FP7-PEOPLE-2013-IEF |
| Funding Scheme | MC-IEF |
| Anno di inizio | 2015 |
| Periodo (anno-mese-giorno) | 2015-03-12 - 2017-03-11 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
UNIVERSITY COLLEGE LONDON
Organization address
address: GOWER STREET contact info |
UK (LONDON) | coordinator | 231˙283.20 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'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.'