skip to main content
10.1145/1810295.1810369acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Using invariant functions and invariant relations to compute loop functions

Published: 01 May 2010 Publication History

Abstract

In this short paper we discuss the design, implementation and operation of an automated tool that computes the function of while loops written in C-like programming languages.

References

[1]
E. W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976.
[2]
C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576--583, October 1969.
[3]
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, and Ali Mili. Invariant assertions, invariant relations and invariant functions. In Proceedings, 2nd International Workshop on Invariant Generation, York, UK, 2009.
[4]
Ali Mili, Jules Desharnais, and Jean Raymond Gagne. Strongest invariant functions: Their use in the systematic analysis of while statements. Acta Informatica, April 1985.
[5]
H. D. Mills. The new math of computer programming. Communications of the ACM, 18(1), January 1975.

Index Terms

  1. Using invariant functions and invariant relations to compute loop functions

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
    May 2010
    554 pages
    ISBN:9781605587196
    DOI:10.1145/1810295
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 May 2010

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. loop semantic
    2. program analysis
    3. while loop

    Qualifiers

    • Research-article

    Conference

    ICSE '10
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 276 of 1,856 submissions, 15%

    Upcoming Conference

    ICSE 2025

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 165
      Total Downloads
    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 16 Jan 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media