{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:07:19Z","timestamp":1752984439117},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614395"},{"type":"electronic","value":"9783540685708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0053062","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:07:29Z","timestamp":1149653249000},"page":"189-209","source":"Crossref","is-referenced-by-count":24,"title":["Towards alias-free pointers"],"prefix":"10.1007","author":[{"given":"Naftaly H.","family":"Minsky","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,21]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"H.G. Baker. Use-once variables and linear objects \u2014 storage management, reflection and multi-threading. ACM SIGPLAN Notices, January 1995.","DOI":"10.1145\/199818.199860"},{"key":"11_CR2","unstructured":"L. Cardelli, J. Donahue, L. Glassman, M. Jordan, and G. Nelson. Modula-3 report (revised). Technical Report 52, Digital System Research Center, November 1989."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"J. Y. Girard. Linear logic. Theoretical Computer Science, pages 1\u2013102, 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Dougles E. Harms and Bruce W. Weide. Copying and swapping: Influences on the design of reusable software components. IEEE Transactions on Software Engineering, pages 424\u2013434, May 1991.","DOI":"10.1109\/32.90445"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"W Landi. Undecidebility of static analysis. Lett. Program. Lang. Syst., 1(4), December 1992.","DOI":"10.1145\/161494.161501"},{"key":"11_CR6","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1987."},{"key":"11_CR7","unstructured":"B. Meyer. Eiffel: The Language. Prentice-Hall, 1992."},{"key":"11_CR8","unstructured":"N.H. Minsky. On the use of tokens in programming. Technical report, Rutgers University, LCSR, October 1995."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"D.L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12), December 1972.","DOI":"10.1145\/361598.361623"},{"key":"11_CR10","unstructured":"R. Sethi. Programming Languages, Concepts and Constructions. Addison Wesley, 1989."},{"key":"11_CR11","unstructured":"A. Tanenbaum. Modern Operating Systems. Prentice Hall, 1992."}],"container-title":["Lecture Notes in Computer Science","ECOOP \u201996 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:22:40Z","timestamp":1555654960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614395","9783540685708"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0053062","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}