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
Inductive syntactic synthesis of programs with FOR loops and interpreted functions - MaRDI portal

Inductive syntactic synthesis of programs with FOR loops and interpreted functions

From MaRDI portal

Publication:1822935

Jump to:navigation, search

zbMath0679.68025MaRDI QIDQ1822935

E. B. Kinber

Publication date: 1988

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

zbMATH Keywords

program synthesis FOR loops inductive synthesis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Inductive syntactic synthesis of programs with FOR loops and interpreted functions

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