{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:24:07Z","timestamp":1725560647855},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540224051"},{"type":"electronic","value":"9783540259343"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25934-3_7","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T19:29:20Z","timestamp":1279826960000},"page":"62-71","source":"Crossref","is-referenced-by-count":2,"title":["Formal Techniques for Java-Like Programs"],"prefix":"10.1007","author":[{"given":"Susan","family":"Eisenbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Poll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1145\/263699.263735","volume-title":"Conference Record of POPL 1997: The 24TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France","author":"L. Cardelli","year":"1997","unstructured":"Cardelli, L.: Program fragments, linking, and modularization. In: Conference Record of POPL 1997: The 24TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, January 1997, pp. 266\u2013277. ACM, New York (1997)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-44555-2_4","volume-title":"Object-Oriented Technology: ECOOP 2000 Workshop Reader","author":"S. Drossopoulou","year":"2000","unstructured":"Drossopoulou, S., Eisenbach, S., Jacobs, B., Leavens, G.T., M\u00fcller, P., Poetzsch- Heffter, A.: Formal techniques for Java programs. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol.\u00a01964, pp. 41\u201354. Springer, Heidelberg (2000)"},{"key":"7_CR3","unstructured":"Eisenbach, S., Leavens, G.T., M\u00fcller, P., Poetzsch-Heffter, A., Poll, E. (eds.): Formal Techniques for Java-like Program. Technical Report 408, ETH Zurich (2003), Available from \n                  \n                    http:\/\/www.inf.ethz.ch\/research\/publications\/show.php?what=408"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-46589-8_6","volume-title":"Object-Oriented Technology. ECOOP 1999 Workshop Reader","author":"B. Jacobs","year":"1999","unstructured":"Jacobs, B., Leavens, G.T., M\u00fcller, P., Poetzsch-Heffter, A.: Formal techniques for Java programs. In: Moreira, A.M.D., Demeyer, S. (eds.) ECOOP 1999 Workshops. LNCS, vol.\u00a01743, pp. 97\u2013115. Springer, Heidelberg (1999)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-47853-1_3","volume-title":"Object-Oriented Technology. ECOOP 2001 Workshop Reader","author":"G.T. Leavens","year":"2002","unstructured":"Leavens, G.T., Drossopoulou, S., Eisenbach, S., Poetzsch-Heffter, A., Poll, E.: Formal techniques for Java programs. In: Frohner, A. (ed.) ECOOP-WS 2001. LNCS, vol.\u00a02323, pp. 30\u201340. Springer, Heidelberg (2002)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/3-540-36208-8_19","volume-title":"Object-Oriented Technology. ECOOP 2002 Workshop Reader","author":"G.T. Leavens","year":"2002","unstructured":"Leavens, G.T., Drossopoulou, S., Eisenbach, S., Poetzsch-Heffter, A., Poll, E.: Formal techniques for Java-like programs. In: Hern\u00e1ndez, J., Moreira, A. (eds.) ECOOP-WS 2002. LNCS, vol.\u00a02548, pp. 203\u2013210. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology. ECOOP 2003 Workshop Reader"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25934-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:41Z","timestamp":1605761921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25934-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540224051","9783540259343"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25934-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}