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
Checking variable types by proving properties of programs - MaRDI portal

Checking variable types by proving properties of programs

From MaRDI portal

Publication:1052818

Jump to:navigation, search

zbMath0516.68014MaRDI QIDQ1052818

L. V. Chernobrod

Publication date: 1982

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

zbMATH Keywords

program correctness global program analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Checking variable types by proving properties of programs

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