GRIP

General Reasoning for Imperative Programs

Coordinatore	UNIVERSITY COLLEGE LONDON    more  Organization address address: GOWER STREET city: LONDON postcode: WC1E 6BT contact info Titolo: Mr. Nome: Giles Cognome: Machell Email: send email Telefono: +44 20 3108 3020 Fax: +44 20 7813 2849
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

#	participant	country	role	EC contrib. [€]
1	UNIVERSITY COLLEGE LONDON  Organization address address: GOWER STREET city: LONDON postcode: WC1E 6BT contact info Titolo: Mr. Nome: Giles Cognome: Machell Email: send email Telefono: +44 20 3108 3020 Fax: +44 20 7813 2849	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.'