Programs with restoration of computations

DOI10.1007/BF02733310zbMATH Open0966.68027WikidataQ113108133 ScholiaQ113108133MaRDI QIDQ1592016FDOQ1592016

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)

Cites Work

• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Computing with rewrite systems 👍 👎
• Reversible computations in logic programming 👍 👎
• Optimizing reversible programs 👍 👎
• On solving complex programs 👍 👎
• Reversible computing from a programming language perspective 👍 👎
• Reversible Imperative Parallel Programs and Debugging 👍 👎
• Reversible Programs Have Reversible Semantics 👍 👎

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)