@inproceedings{66303d7750364305a76e2a60a9e6b1f3,
title = "An algorithm for computing loop functions",
abstract = "We consider a while loop on some space S and we are interested in deriving the function that this loop defines between its initial states and its final states (when it terminates). Such a capability is useful in a wide range of applications, including reverse engineering, software maintenance, program comprehension, and program verification. In the absence of a general theoretical solution to the problem of deriving the function of a loop, we explore engineering solutions. In this paper we discuss the design and preliminary implementation of a tool that derives or approximates the function of while loops written in C-like languages.",
keywords = "Program comprehension, Program correctness, Program semantics, Refinement calculi, Reverse engineering, Software maintenance, Software tools, While loops",
author = "Ali Mili and Shir Aharon and Chaitanya Nadkarni",
year = "2008",
language = "English (US)",
isbn = "9781627486620",
series = "20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008",
pages = "448--453",
booktitle = "20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008",
note = "20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008 ; Conference date: 01-07-2008 Through 03-07-2008",
}