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
Some Aspects of the Verification of Loop Computations - MaRDI portal

Some Aspects of the Verification of Loop Computations

From MaRDI portal

Publication:4174210

Jump to:navigation, search

DOI10.1109/TSE.1978.233871zbMath0392.68011MaRDI QIDQ4174210

Jayadev Misra

Publication date: 1978

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

zbMATH Keywords

Verification Proof Rules Loop Computations Program Proving

Mathematics Subject Classification ID

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

Related Items (3)

A method for computing the number of iterations in data dependent loops ⋮ Mechanical inference of invariants for FOR-loops ⋮ Constraint preservation through loops

This page was built for publication: Some Aspects of the Verification of Loop Computations

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