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
Program annotation and transformation - MaRDI portal

Program annotation and transformation

From MaRDI portal

Publication:1183780

Jump to:navigation, search

zbMath0739.68008MaRDI QIDQ1183780

V. N. Kas'yanov

Publication date: 28 June 1992

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

zbMATH Keywords

program transformation annotated programming

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: Program annotation and transformation

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