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
Hyperprogramming and applied program bases - MaRDI portal

Hyperprogramming and applied program bases

From MaRDI portal

Publication:1053453

Jump to:navigation, search

zbMath0517.68037MaRDI QIDQ1053453

E. A. Zhogolev

Publication date: 1982

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

zbMATH Keywords

program construction metavariables program reconstruction

Mathematics Subject Classification ID

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

This page was built for publication: Hyperprogramming and applied program bases

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