{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:47:44Z","timestamp":1764557264009,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:01Z","timestamp":1330208401000},"page":"169-192","source":"Crossref","is-referenced-by-count":54,"title":["Static analysis of linear congruence equalities among variables of a program"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Granger","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/29873.29875","volume":"9","author":"R. Allen","year":"1987","unstructured":"R. Allen & K. Kennedy, Automatic translation of FORTRAN program to vector form, ACM Transactions on Programming Languages and Systems 9(4), 491\u2013542, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR2","first-page":"106","volume-title":"Static determination of dynamic properties of programs","author":"P. Cousot","year":"1976","unstructured":"P. Cousot, & R. Cousot, Static determination of dynamic properties of programs, Proc. 2nd Int. Symp. on Programming, Dunod, Paris, 106\u2013130, 1976."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Conf. Rec. of the 4th ACM Symp. on Principles of Programming Languages, Los Angeles, Calif., 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot, & R. Cousot, Systematic design of program analysis frameworks, Conf. Rec. of the 6th ACM Symp. on Principles of Programming Languages, San Antonio, Texas, 269\u20132","DOI":"10.1145\/567752.567778"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot & N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Conf. Rec. of the 5th ACM Symp. on Principles of Programming Languages, Tucson, Ariz., 84\u201397, 1978.","DOI":"10.1145\/512760.512770"},{"key":"10_CR6","volume-title":"History of the theory of numbers, vol. 2","author":"L.E. Dickson","year":"1919","unstructured":"L.E. Dickson, History of the theory of numbers, vol. 2, Carnegie Institution, Washington, 1919."},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1080\/00207168908803778","volume":"30","author":"P. Granger","year":"1989","unstructured":"P. Granger, Static analysis of arithmetical congruences, Int. Journal of Computer Mathematics 30, 165\u2013190, 1989.","journal-title":"Int. Journal of Computer Mathematics"},{"key":"10_CR8","unstructured":"N. Jacobson, Basic Algebra I, W.H. Freeman and Company, 1985."},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M. Karr","year":"1976","unstructured":"M. Karr, Affine relationships among variables of a program, Acta Informatica 6, 133\u2013151, 1976.","journal-title":"Acta Informatica"},{"key":"10_CR10","unstructured":"D.E. Knuth, The art of computer programming, 2nd ed., vol. 2, 326\u2013327, Addison-Wesley, 1981."},{"key":"10_CR11","unstructured":"S. Lang, Algebra, Addison-Wesley, 1965."},{"key":"10_CR12","unstructured":"N. Mercouroff, Analyse s\u00e9mantique des communications entre processus de programmes parall\u00e8les, Th\u00e8se de l'Ecole Polytechnique, 1990."},{"key":"10_CR13","unstructured":"H.M. Stark, An introduction to number theory, Markham Publishing Company, 1970."},{"key":"10_CR14","unstructured":"G.W. Stewart, Introduction to matrix computations, Academic Press, 1973."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:12:16Z","timestamp":1742591536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}