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 Method for Analyzing Loop Programs - MaRDI portal

A Method for Analyzing Loop Programs

From MaRDI portal

Publication:4179808

Jump to:navigation, search

DOI10.1109/TSE.1979.234185zbMath0396.68010MaRDI QIDQ4179808

Richard C. Waters

Publication date: 1979

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

zbMATH Keywords

Program Verification Program Analysis Loops

Mathematics Subject Classification ID

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

Related Items (1)

A method for computing the number of iterations in data dependent loops

This page was built for publication: A Method for Analyzing Loop Programs

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