Mathematics for reasoning about loop functions

Document Type

Article

Publication Date

11-1-2009

Abstract

The criticality of modern software applications, the pervasiveness of malicious code concerns, the emergence of third-party software development, and the preponderance of program inspection as a quality assurance method all place a great premium on the ability to analyze programs and derive their function in all circumstances of use and all its functional detail. For C-like programming languages, one of the most challenging tasks in this endeavor is the derivation of loop functions. In this paper, we outline the premises of our approach to this problem, present some mathematical results, and discuss how these results can be used as a basis for building an automated tool that derives the function of while loops under some conditions. © 2009 Elsevier B.V. All rights reserved.

Identifier

70449099305 (Scopus)

Publication Title

Science of Computer Programming

External Full Text Location

https://doi.org/10.1016/j.scico.2009.09.009

ISSN

01676423

First Page

989

Last Page

1020

Issue

11-12

Volume

74

This document is currently not available here.

Share

COinS