Obiettivo 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. Campo scientifico natural sciencescomputer and information sciencessoftwaresocial scienceslawnatural sciencesmathematicsapplied mathematicsmathematical model Programma(i) FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Argomento(i) FP7-PEOPLE-2013-IEF - Marie-Curie Action: "Intra-European fellowships for career development" Invito a presentare proposte FP7-PEOPLE-2013-IEF Vedi altri progetti per questo bando Meccanismo di finanziamento MC-IEF - Intra-European Fellowships (IEF) Coordinatore UNIVERSITY COLLEGE LONDON Contributo UE € 231 283,20 Indirizzo GOWER STREET WC1E 6BT LONDON Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Giles Machell (Mr.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato