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. © 2010 ACM.
Author supplied keywords
Cite
CITATION STYLE
APA
Labed Jilani, L., Mraihi, O., Louhichi, A., Ghardallou, W., & Mili, A. (2010). Using invariant functions and invariant relations to compute loop functions. In Proceedings - International Conference on Software Engineering (Vol. 2, pp. 317–318). https://doi.org/10.1145/1810295.1810369
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free