{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:12:20Z","timestamp":1775052740368,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540610557","type":"print"},{"value":"9783540499428","type":"electronic"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61055-3_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:14:49Z","timestamp":1330290889000},"page":"125-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Static detection of pointer errors: An axiomatisation and a checking algorithm"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Fradet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronan","family":"Gaugne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Le M\u00e9tayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","unstructured":"A. Aho, R. Sethi and J. D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley publishing company, 1988."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"R. Altucher and W. Landi, An extended form of must-alias analysis for dynamic allocation, in 22nd Annual ACM Symp. on Principles of Programming Languages POPL'95, Jan. 1995, pp.74\u201385.","DOI":"10.1145\/199448.199466"},{"key":"8_CR3","unstructured":"L. Andersen, Program analysis and specialisation for the C programming language, Ph.D Thesis, DIKU, University of Copenhagen, May 1994."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"J.-P. Ban\u00e2tre, C. Bryce, D. Le M\u00e9tayer, Compile-time detection of information flow in sequential programs, proc. European Symposium on Research in Computer Security, Springer Verlag, LNCS 875, pp. 55\u201374.","DOI":"10.1007\/3-540-58618-0_56"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"J.F. Bergeretti and B. Carr\u00e9, Information-flow and data-flow analysis of while-programs, in ACM Transactions on Programming Languages and Systems,Vol. 7, No. 1, Jan. 85, pp. 37\u201361.","DOI":"10.1145\/2363.2366"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0167-6423(89)90002-6","volume":"12","author":"A. Bijlsma","year":"1989","unstructured":"A. Bijlsma, Calculating with pointers, in Science of Computer Programming 12 (1989) 191\u2013205, North-Holland.","journal-title":"Science of Computer Programming"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF00264535","volume":"15","author":"R. Cartwright","year":"1981","unstructured":"R. Cartwright and D. Oppen, The logic of aliasing, in Acta Informatica 15, 365\u2013384, 1981 ACM TOPLAS, Vol. 7, 1985, pp. 299\u2013310.","journal-title":"Acta Informatica"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot, Systematic design of program analysis frameworks, in 6th Annual ACM Symp. on Principles of Programming Languages POPL'79, Jan. 79, pp. 269\u2013282.","DOI":"10.1145\/567752.567778"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"A. Deutsch, A storeless model of aliasing and its abstraction using finite representations of right-regular equivalence relations, in Proc. of the IEEE 1992 Conf. on Computer Languages, Apr. 92, pp. 2\u201313.","DOI":"10.1109\/ICCL.1992.185463"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"A. Deutsch, Interprocedural may-alias analysis for pointers: Beyond k-limiting, in SIGPLAN'94 Conf. on Programming Language Design and Implementation PLDI'94, Jun. 1994, pp. 230\u2013241.","DOI":"10.1145\/773473.178263"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"M. Emami, R. Ghiya and L. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, in SIGPLAN'94 Conf. on Programming Language Design and Implementation PLDI'94, Jun. 1994, pp. 242\u2013256.","DOI":"10.1145\/773473.178264"},{"key":"8_CR12","unstructured":"D. Evans, Using specifications to check source code, in Technical Report, MIT Lab for computer science, Jun. 1994."},{"key":"8_CR13","unstructured":"P. Fradet, R. Gaugne and D. Le M\u00e9tayer, An inference algorithm for the static verification of pointer manipulation, IRISA Research Report 980, 1996."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"J. Field, G. Ramalingam and F. Tip, Parametric program slicing, in 22th Annual ACM Symp. on Principles of Programming Languages POPL'95, Jan. 95, pp. 379\u2013392.","DOI":"10.1145\/199448.199534"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"L. Fosdick and L. Osterweil, Data flow analysis in software reliability, ACM Computing surveys, 8(3), Sept. 1976.","DOI":"10.1145\/356674.356676"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"C. L. Hankin, D. Le M\u00e9tayer, Deriving algorithms from type inference systems: Application to strictness analysis, proc. ACM Symposium on Principles of Programming Languages, 1994, pp. 202\u2013212, Jan. 1994.","DOI":"10.1145\/174675.177858"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"L. Hendren and A. Nicolau, Parallelizing programs with recursive data structures, in IEEE Transactions on Parallel and Distributed Systems, Jan. 90, Vol. 1(1), pp. 35\u201347.","DOI":"10.1109\/71.80123"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"D. Jackson, Aspect: an economical bug-detector, in Proceedings of 13th International Conference on Software Engineering, May 1994, pp. 13\u201322.","DOI":"10.1109\/ICSE.1991.130619"},{"key":"8_CR19","volume-title":"Computer Science technical report","author":"S. Johnson","year":"1978","unstructured":"S. Johnson, Lint, a C program checker, Computer Science technical report, Bell Laboratories, Murray Hill, NH, July 1978."},{"issue":"2","key":"8_CR20","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/357073.357078","volume":"1","author":"D. Luckham","year":"1979","unstructured":"D. Luckham and N. Suzuki, Verification of array, record, and pointer operations in Pascal, in ACM Transactions on Programming Languages and Systems, Vol. 1, No.2, Oct. 1979, pp. 226\u2013244.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"J. Morris, A general axiom of assignment and Assignment and linked data structures, in Theoretical Foundations of Programming Methodology, M. Broy and G. Schmidt (eds), pp. 25\u201341, 1982.","DOI":"10.1007\/978-94-009-7893-5_4"},{"key":"8_CR22","first-page":"277","volume":"456","author":"S. Sagiv","year":"1990","unstructured":"S. Sagiv, N. Francez, M. Rodeh and R. Wilhelm, A logic-based approach to data flow analysis problems, in Programming Language Implementation and Logic Programming PLILP'90, LNCS 456, pp. 277\u2013292, 1990.","journal-title":"LNCS"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"R. Strom and D. Yellin, Extending typestate checking using conditional liveness analysis, in IEEE Transactions on Software Engineering, Vol. 19, No 5, May. 93, pp. 478\u2013485.","DOI":"10.1109\/32.232013"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61055-3_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:13:21Z","timestamp":1742598801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61055-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610557","9783540499428"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-61055-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}