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
A semantic approach to program modularity - MaRDI portal

A semantic approach to program modularity

From MaRDI portal

Publication:3719785

Jump to:navigation, search

DOI10.1016/S0019-9958(84)80026-1zbMath0591.68004MaRDI QIDQ3719785

Ralph-Johan Back, Heikki Mannila

Publication date: 1984

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

locality correctness criteria Modularity recursive modular systems

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: A semantic approach to program modularity

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