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
Debugging tools for a system with automatic program synthesis - MaRDI portal

Debugging tools for a system with automatic program synthesis

From MaRDI portal

Publication:801679

Jump to:navigation, search

zbMath0552.68029MaRDI QIDQ801679

M. B. Matskin

Publication date: 1983

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

zbMATH Keywords

automatic program synthesis debugging in systems PRIZ programming system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: Debugging tools for a system with automatic program synthesis

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