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
Recursive program optimization through inductive synthesis proof transformation - MaRDI portal

Recursive program optimization through inductive synthesis proof transformation

From MaRDI portal

Publication:1285864

Jump to:navigation, search

DOI10.1023/A:1005969312327zbMath0926.68020MaRDI QIDQ1285864

Alan Bundy, Alan Smaill, Peter E. Madden

Publication date: 2 May 1999

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

proof transformation synthesis proofs

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: Recursive program optimization through inductive synthesis proof transformation

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