Divide-and-conquer checkpointing for arbitrary programs with no user annotation (Q4685610)
From MaRDI portal
scientific article; zbMATH DE number 6949134
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Divide-and-conquer checkpointing for arbitrary programs with no user annotation |
scientific article; zbMATH DE number 6949134 |
Statements
Divide-and-conquer checkpointing for arbitrary programs with no user annotation (English)
0 references
9 October 2018
0 references
reverse-mode automatic differentiation
0 references
binomial checkpointing
0 references
treeverse
0 references
programming language theory
0 references
compiler theory
0 references
lambda calculus
0 references
