An algorithm for computing loop functions

Document Type

Conference Proceeding

Publication Date

12-1-2008

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.

Identifier

84886881924 (Scopus)

ISBN

[9781627486620]

Publication Title

20th International Conference on Software Engineering and Knowledge Engineering Seke 2008

First Page

448

Last Page

453

This document is currently not available here.

Share

COinS