Innovating Works

GRIP

Financiado
Cerrado
General Reasoning for Imperative Programs
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... ver más
11/03/2017
UNIVERSITY COLLEGE...
231K€
Presupuesto del proyecto: 231K€
ver más
Líder del proyecto
UNIVERSITY COLLEGE LONDON No se ha especificado una descripción o un objeto social para esta compañía.
Fecha límite participación Sin fecha límite de participación.
Ver 2 Participantes
Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2017-03-11 No tenemos la información de la convocatoria
0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.