Programs with restoration of computations

DOI10.1007/BF02733310MaRDI QIDQ1592016zbMATH OpenWikidataFDO

Authors S. V. Surzhko, E. L. Yushchenko

Publication date 16 August 2001

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

algorithmic algebraprogram synthesisrestoration of computations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Optimizing reversible programs
• scientific article; zbMATH DE number 3116597
• Reversible computing from a programming language perspective
• On solving complex programs
• Computing with rewrite systems
• Reversible computations in logic programming
• Reversing parallel programs with blocks and procedures
• Reversible Programs Have Reversible Semantics
• Reversible Imperative Parallel Programs and Debugging

This page was built for publication: Programs with restoration of computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1592016)