Opendata, web and dolomites
H2020 projects about "compilers"
The page lists 9 projects related to the topic "compilers".
| # | |||
|---|---|---|---|
| 1 | HORIP | Higher-Order Rewriting for Intensional Properties of Programs and Circuits | 2015 |
| 2 | NLPRO | Natural Language Programming: Turning Text into Executable Code | 2016 |
| 3 | SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture | 2017 |
| 4 | GreenSoft | Toolset for development of high performance and energy-efficient software, realising the potential of ubiquitous computing and the Internet of Things | 2017 |
| 5 | COPAC | Coherent Optical Parallel Computing | 2017 |
| 6 | CORNET | Provably Correct Networks | 2018 |
| 7 | CATENA | Commentary Manuscripts in the History and Transmission of the Greek New Testament | 2018 |
| 8 | FastCode | The Next 100 Optimizing Compilers | 2019 |
| 9 | ECHO | Extending Coherence for Hardware-Driven Optimizations in Multicore Architectures | 2019 |