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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Jump to:navigation, search

zbMath0482.68021MaRDI QIDQ3940822

Pedro Guerreiro

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nondeterministic programs total correctness predicate transformer input-output behaviour of programs non-terminating computations semantic objects

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Predicate transformers as power operations, General correctness: A unification of partial and total correctness, Algebra of Monotonic Boolean Transformers

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