The following pages link to (Q3384916):
Displaying 5 items.
- Programs with restoration of computations (Q1592016) (← links)
- A reversible debugger for imperative parallel programs with contracts (Q2097431) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Reversibility of Executable Interval Temporal Logic Specifications (Q5162611) (← links)
- Reversible Imperative Parallel Programs and Debugging (Q5237216) (← links)