Name
Abstract | ||
|---|---|---|
This is an overview of the Paral-ITP project, which intents to make the proof assistants Isabelle and Coq fit for the multicore era. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-39320-4_29 | MKM/Calculemus/DML |
Keywords | Field | DocType |
pervasive parallelism,highly-trustable interactive theorem | Programming language,Computer science,Explicit parallelism,Document model,Software system,Theoretical computer science,Mathematical proof,Multi-core processor,Logical framework,Proof assistant | Conference |
Volume | Citations | PageRank |
abs/1305.7360 | 1 | 0.39 |
References | Authors | |
8 | 7 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bruno Barras | 1 | 75 | 6.26 |
| Lourdes Del Carmen González Huesca | 2 | 10 | 0.97 |
| Hugo Herbelin | 3 | 435 | 30.00 |
| Yann Régis-Gianas | 4 | 58 | 7.84 |
| Enrico Tassi | 5 | 327 | 21.79 |
| Makarius Wenzel | 6 | 272 | 24.39 |
| Burkhart Wolff | 7 | 1 | 0.39 |