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 analyzing the properties of programs - MaRDI portal

An approach to analyzing the properties of programs

From MaRDI portal

Publication:1103383

Jump to:navigation, search

zbMath0645.68019MaRDI QIDQ1103383

L. V. Chernobrod, Viktor K. Sabelfeld

Publication date: 1987

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

zbMATH Keywords

conditional term rewriting global program analysis

Mathematics Subject Classification ID

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

This page was built for publication: An approach to analyzing the properties of programs

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