guest ::
CARP
Correct and Efficient Accelerator Programming
| Coordinator | University of Twente ; IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE ; REALEYES OU ; Codeplay Software Ltd ; Monoidics Ltd ; École Normale Supérieure ; ARM LIMITED ; RWTH Aachen University ; RIGHTWARE OY |
| Grant period | 2011-12-01 - 2015-02-28 |
| Funding body | European Union |
| Call number | FP7-ICT-2011-7 |
| Grant number | 287767 |
| Identifier | G:(EU-Grant)287767 |
Recent Publications
All known publications ...
Download: BibTeX | EndNote XML, Text | RIS |
Dissertation / PhD Thesis
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Aachen 1 Online-Ressource (xi, 286 Seiten) : Diagramme (2017) [10.18154/RWTH-2017-09657] = Dissertation, RWTH Aachen University, 2017
Files
BibTeX |
EndNote:
XML,
Text |
RIS
All known publications ...
Download: BibTeX | EndNote XML, Text | RIS |
Record created 2013-01-15, last modified 2023-03-03