View in EDS PDF Full Text

Loop Invariants: Analysis, Classification, and Examples.

Saved in:
Bibliographic Details
Title: Loop Invariants: Analysis, Classification, and Examples.
Authors: FURIA, CARLO A.1, MEYER, BERTRAND2, VELDER, SERGEY3
Source: ACM Computing Surveys. Jan2014, Vol. 46 Issue 3, p1-51. 51p. 21 Color Photographs, 3 Diagrams, 2 Charts.
Database: Business Source Ultimate
Description
ISSN:03600300
DOI:10.1145/2506375