Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
The clean termination of iterative programs
Home
Publications
The clean termination of iterative programs
The clean termination of iterative programs
AB
Andrzej Blikle
Andrzej Blikle
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 October 1981
journal article
Published by
Springer Nature
in
Acta Informatica
Vol. 16
(2)
https://doi.org/10.1007/bf00261259
Abstract
No abstract available
Keywords
CLEAN TERMINATION
ITERATIVE PROGRAMS
ALGEBRAICALLY
PARTIAL CORRECTNESS
VERIFICATION
PRECONDITION
Cited by 15 articles