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 theory for deductive synthesis of algorithms in the computing milieu - MaRDI portal

A theory for deductive synthesis of algorithms in the computing milieu

From MaRDI portal

Publication:1900220

Jump to:navigation, search

zbMath0834.68075MaRDI QIDQ1900220

Anatoly Petrivich Beltiukov

Publication date: 2 November 1995

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

realizational semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: A theory for deductive synthesis of algorithms in the computing milieu

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