{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:02:35Z","timestamp":1742392955289},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540279921"},{"type":"electronic","value":"9783540317258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11531142_1","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T17:28:49Z","timestamp":1292866129000},"page":"1-32","source":"Crossref","is-referenced-by-count":14,"title":["Attached Types and Their Application to Three Open Problems of Object-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Leino, R., Schulte, W.: The Spec# Programming System. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"unstructured":"Chambers, C., et al.: papers on the Self language, at, \n                    \n                      http:\/\/research.sun.com\/self\/papers\/papers.html","key":"1_CR2"},{"key":"1_CR3","first-page":"302","volume-title":"OOPSLA 2003, SIGPLAN Notices","author":"M. F\u00e4hndrich","year":"2003","unstructured":"F\u00e4hndrich, M., Leino, R.: Declaring and Checking Non-null Types in an Object-Oriented Language. In: OOPSLA 2003, SIGPLAN Notices, November 2003, vol.\u00a038(11), pp. 302\u2013312. ACM, New York (2003)"},{"unstructured":"ECMA Technical Committee 39 (Programming and Scripting Languages) Technical Group 4 (Eiffel): Eiffel Analysis, Design and Programming Language, Draft international standard (April 2005)","key":"1_CR4"},{"unstructured":"Meijer, E., Schulte, W.: Unifying Tables, Objects, and Documents. In: Proc. DP-COOL (2003), also at, \n                    \n                      http:\/\/research.microsoft.com\/~emeijer\/Papers\/XS.pdf.","key":"1_CR5"},{"unstructured":"B. Meyer: Eiffel: The Language, Prentice Hall (revised printing, See also Bertrand Meyer (1990) (revised printing 1991), See also [12]","key":"1_CR6"},{"key":"1_CR7","volume-title":"Reusable Software: The Base Object-Oriented Component Libraries","author":"B. Meyer","year":"1994","unstructured":"Meyer, B.: Reusable Software: The Base Object-Oriented Component Libraries. Prentice Hall, Englewood Cliffs (1994)"},{"key":"1_CR8","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"unstructured":"Meyer, B.: reference [18], ch.17: Typing","key":"1_CR9"},{"issue":"7","key":"1_CR10","first-page":"36","volume":"11","author":"B. Meyer","year":"1998","unstructured":"Meyer, B.: Prelude to a Theory of Void. Journal of Object-Oriented Programming\u00a011(7), 36\u201348 (1998)","journal-title":"Journal of Object-Oriented Programming"},{"unstructured":"Meyer, B.: reference [8], ch. 30: Concurrency, distribution, client-server and the Internet","key":"1_CR11"},{"unstructured":"Meyer, B.: Standard Eiffel, new edition of [6], in progress","key":"1_CR12"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2005 - Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11531142_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:50:23Z","timestamp":1619506223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11531142_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540279921","9783540317258"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11531142_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}