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
Algorithms of structured synthesis of programs - MaRDI portal

Algorithms of structured synthesis of programs

From MaRDI portal

Publication:1156475

Jump to:navigation, search

zbMath0468.68010MaRDI QIDQ1156475

M. Ya. Kharf, É. Kh. Tyugu

Publication date: 1980

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

zbMATH Keywords

estimates of complexity of program synthesis algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Automatic synthesis of action programs for intelligent robots

This page was built for publication: Algorithms of structured synthesis of programs

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