{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:46:52Z","timestamp":1762458412663},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,4,1]],"date-time":"1985-04-01T00:00:00Z","timestamp":481161600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1985,4]]},"DOI":"10.1007\/bf00290145","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T05:53:34Z","timestamp":1096955614000},"page":"47-66","source":"Crossref","is-referenced-by-count":17,"title":["Strongest invariant functions: Their use in the systematic analysis of while statements"],"prefix":"10.1007","volume":"22","author":[{"given":"Ali","family":"Mili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Desharnais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean -Raymond","family":"Gagn\ufffd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Amy, B.: Calcul des Invariants Algorithmiques. In: Actes du Congr\u00e8s Th\u00e9ories et Techniques de l'Informatique, pp.390?399. Gif-Sur-Yvette, France, 1978"},{"key":"CR2","unstructured":"Amy, B., Caplain, M.: Invariants Algorithmiques et Recurrences. Rapport de Recherche No 110. ENSIMAG, Universit\u00e9 de Grenoble, 1978. Also available in: Proceedings, Third International Symposium on Programming, pp.218?231. Paris, 1978"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1109\/TSE.1975.6312858","volume":"SE-1","author":"S.K. Basu","year":"1975","unstructured":"Basu, S.K., Misra, J.: Proving Loop Programs. IEEE Trans. Software Eng. SE-1, 339?345 1975","journal-title":"IEEE Trans. Software Eng."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Caplain, M.: Finding Invariant Assertions for Proving Programs. Proceedings, International Conference on Reliable Software, pp.165?171. Los Angeles, 1975","DOI":"10.1145\/800027.808436"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1145\/356876.356881","volume":"14","author":"D.D. Dunlop","year":"1982","unstructured":"Dunlop, D.D., Basili, V.R.: A Comparative Analysis of Functional Correctness. ACM Comput. Surveys 14, 229?244 (1982)","journal-title":"ACM Comput. Surveys"},{"key":"CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming. Berlin-Heidelberg-New York: Springer 1981"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. Commun. ACM 12, 576?583 (1969)","journal-title":"Commun. ACM"},{"key":"CR8","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical Theory of Computation. New York: McGraw-Hill 1974"},{"key":"CR9","unstructured":"Mili, A.: The Bottom Up Analysis of While Statements: Strongest Invariant Functions. Proceedings, Ninth World Computer Congress (IFIP '83), pp.339?343. Paris, France, 1983"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(83)90056-X","volume":"17","author":"A. Mili","year":"1983","unstructured":"Mili, A.: Verifying Programs by Induction on their Data Structure: General Format and Applications. Inf. Process. Lett. 17, 155?160 (1983)","journal-title":"Inf. Process. Lett."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264277","volume":"20","author":"A. Mili","year":"1983","unstructured":"Mili, A.: A Relational Approach to the Design of Deterministic Programs. Acta Inf. 20, 315?328 (1983)","journal-title":"Acta Inf."},{"key":"CR12","series-title":"Rapport de Recherche","volume-title":"Strongest Invariant Functions","author":"A. Mili","year":"1984","unstructured":"Mili, A., Desharnais, J., Gagn\u00e9, J.-R.: Strongest Invariant Functions. Rapport de Recherche, DIUL-RR-8412. D\u00e9partement d'Informatique, Universit\u00e9 Laval, Qu\u00e9bec, PQ, G1K 7P4, 1984"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/360569.360659","volume":"18","author":"H.D. Mills","year":"1975","unstructured":"Mills, H.D.: The New Math of Computer Programming. Commun. ACM 18, 43?48 (1975)","journal-title":"Commun. ACM"},{"key":"CR14","unstructured":"Mills, H., Basili, V.R., Gannon, J.D., Hamlet, R.G., Schneiderman, B., Austing, R.H., Kohl, J.E.: The Calculus of Computer Programming. Manuscript (1982) (To be published by Allyn & Bacon, Boston, MA)"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1145\/358161.358168","volume":"26","author":"D.L. Parnas","year":"1983","unstructured":"Parnas, D.L.: A Generalized Control Structure and Its Formal Definition. Commun. ACM 26, 572?581 (1983)","journal-title":"Commun. ACM"},{"key":"CR16","volume-title":"Lect. Notes Comput. Sci. Vol. 82","author":"J.G. Sanderson","year":"1980","unstructured":"Sanderson, J.G.: A Relational Theory of Computing. Lect. Notes Comput. Sci. Vol. 82. BerlinHeidelberg-New York: Springer 1980"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00290145.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00290145\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00290145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:15:19Z","timestamp":1554758119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00290145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,4]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,4]]}},"alternative-id":["BF00290145"],"URL":"https:\/\/doi.org\/10.1007\/bf00290145","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,4]]}}}