Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A Design-Based Model of Reversible Computation - MaRDI portal

A Design-Based Model of Reversible Computation

From MaRDI portal

Publication:5307475

Jump to:navigation, search

DOI10.1007/11768173_4zbMath1186.68201OpenAlexW1566461513MaRDI QIDQ5307475

Bill Stoddart, Frank Zeyda, Robert Lynas

Publication date: 14 September 2007

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11768173_4

zbMATH Keywords

backtracking reversible computing Hoare-He designs prospective values wp calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A unification of probabilistic choice within a design-based model of reversible computation

This page was built for publication: A Design-Based Model of Reversible Computation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5307475&oldid=19978726"