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 Comparison of the Axiomatic and Functional Models of Structured Programming - MaRDI portal

A Comparison of the Axiomatic and Functional Models of Structured Programming

From MaRDI portal

Publication:3877017

Jump to:navigation, search

DOI10.1109/TSE.1980.230494zbMath0436.68005MaRDI QIDQ3877017

Robert E. Noonan, Victor R. Basili

Publication date: 1980

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

program correctness structured programming functional correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Semantics of algorithmic languages

This page was built for publication: A Comparison of the Axiomatic and Functional Models of Structured Programming

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