{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:16Z","timestamp":1725475876939},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676690"},{"type":"electronic","value":"9783540450986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722060_22","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T19:00:28Z","timestamp":1167418828000},"page":"238-251","source":"Crossref","is-referenced-by-count":0,"title":["Exceptions in OO Languages: Using Them and Reasoning about Them"],"prefix":"10.1007","author":[{"given":"Neelam","family":"Soundarajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Fridella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Programming in Ada 1995","author":"J. Barnes","year":"1998","unstructured":"Barnes, J.: Programming in Ada 1995. Addison-Wesley, Reading (1998)"},{"key":"22_CR2","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0096-0551(82)90024-8","volume":"7","author":"N. Cocco","year":"1982","unstructured":"Cocco, N., Dulli, S.: A mechanism for exception handling and its verification rules. Comput. Lang.\u00a07, 89\u2013102 (1982)","journal-title":"Comput. Lang."},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/TSE.1984.5010218","volume":"10","author":"F. Cristian","year":"1984","unstructured":"Cristian, F.: Correct and robust programs. IEEE Trans. on Software Eng.\u00a010, 163\u2013174 (1984)","journal-title":"IEEE Trans. on Software Eng."},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1145\/361227.361230","volume":"18","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B.: Exception handling: issues and a proposed notation. Comm. ACM\u00a018, 436\u2013449 (1975)","journal-title":"Comm. ACM"},{"key":"22_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: Science of Programming. Springer, Heidelberg (1981)"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/357094.357100","volume":"2","author":"D.C. Luckham","year":"1980","unstructured":"Luckham, D.C., Polak, W.: Ada exception handling: An axiomatic approach. ACM TOPLAS\u00a02, 225\u2013233 (1980)","journal-title":"ACM TOPLAS"},{"key":"22_CR8","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., Gries, D.: An axiomatic proof technique for parallel programs. Acta Informatica\u00a06(1), 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"key":"22_CR10","volume-title":"The Object Constraint Langauge","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Langauge. Addison-Wesley, Reading (1999)"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/3318.3320","volume":"7","author":"S. Yemini","year":"1985","unstructured":"Yemini, S., Berry, D.: A modular verifiable exception handling mechanism. ACM TOPLAS\u00a07, 214\u2013243 (1985)","journal-title":"ACM TOPLAS"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies Ada-Europe 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722060_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,10]],"date-time":"2018-10-10T03:48:43Z","timestamp":1539143323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722060_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676690","9783540450986"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/10722060_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}