Programs with restoration of computations

DOI10.1007/BF02733310zbMATH Open0966.68027WikidataQ113108133 ScholiaQ113108133MaRDI QIDQ1592016FDOQ1592016

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

Publication date: 16 August 2001

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

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

zbMATH Keywords

algorithmic algebraprogram synthesisrestoration of computations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Title not available (Why is that?)

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)