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
Elimination of identity assignments in standard program schemata - MaRDI portal

Elimination of identity assignments in standard program schemata

From MaRDI portal

Publication:1142576

Jump to:navigation, search

zbMath0439.68028MaRDI QIDQ1142576

V. A. Nepomnyashchij, Viktor K. Sabelfeld

Publication date: 1979

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

zbMATH Keywords

elimination of identity assignments operational equivalence standard program schemata

Mathematics Subject Classification ID

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

This page was built for publication: Elimination of identity assignments in standard program schemata

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