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
An approach to the inductive synthesis of programs - MaRDI portal

An approach to the inductive synthesis of programs

From MaRDI portal

Publication:1183740

Jump to:navigation, search

zbMath0737.68008MaRDI QIDQ1183740

I. É. Étmane

Publication date: 28 June 1992

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

zbMATH Keywords

computation traces inductive synthesis of programs

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: An approach to the inductive synthesis of programs

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