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
Effective algorithms for determining compatibility of variables - MaRDI portal

Effective algorithms for determining compatibility of variables

From MaRDI portal

Publication:1132535

Jump to:navigation, search

zbMath0419.68003MaRDI QIDQ1132535

L. F. Shternberg

Publication date: 1977

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

zbMATH Keywords

compatibility of variables isolated operation regions operator program scheme

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: Effective algorithms for determining compatibility of variables

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