{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:05Z","timestamp":1725466145567},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/bfb0053570","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:40:18Z","timestamp":1149658818000},"page":"170-184","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Recursive object types in a logic of object-oriented programs"],"prefix":"10.1007","author":[{"given":"K.","family":"Rustan","sequence":"first","affiliation":[]},{"given":"M.","family":"Leino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Martin Abadi and K. Rustan M. Leino. A logic of object-oriented programs. In Theory and Practice of Software Development: Proceedings\/ TAPSOFT'97, 7th International Joint Conference CAAP\/FASE, volume 1214 of Lecture Notes in Computer Science, pages 682\u2013696. Springer, April 1997.","DOI":"10.1007\/BFb0030634"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R. M. Amadio","year":"1993","unstructured":"Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575\u2013631, September 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF01215408","volume":"6","author":"P. America","year":"1994","unstructured":"Pierre America and Frank de Boer. Reasoning about dynamically evolving process structures. Formal Aspects of Computing, 6(3):269\u2013316,1994.","journal-title":"Formal Aspects of Computing"},{"key":"12_CR5","unstructured":"Craig Chambers. The Cecil language: Specification & rationale, version 2.1, March 7, 1997. Available from http:\/\/www.cs.washington.edu\/research\/projects\/ce cil\/www\/Papers\/cecil-spec.html, 1997."},{"key":"12_CR6","unstructured":"Krishna Kishore Dhara and Gary T. Leavens. Forcing behavioral subtyping through specification inheritance. Technical Report TR #95-20c, Iowa State University, Department of Computer Science, 1997."},{"key":"12_CR7","volume-title":"A Discipline of Programming.","author":"E. W. Dijkstra","year":"1976","unstructured":"Edsger W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, NJ, 1976."},{"key":"12_CR8","unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java\u2122 Language Specification. Addison-Wesley, 1996."},{"issue":"10","key":"12_CR9","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576\u2013580,583, October 1969.","journal-title":"Communications of the ACM"},{"key":"12_CR10","volume-title":"Object-Oriented Specification Case Studies.","author":"K. Lano","year":"1994","unstructured":"Kevin Lano and Howard Haughton. Object-Oriented Specification Case Studies. Prentice Hall, New York, 1994."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Gary Todd Leavens. Verifying Object-Oriented Programs that Use Subtypes. PhD thesis, MIT Laboratory for Computer Science, February 1989. Available as Technical Report MIT\/LCS\/TR-439.","DOI":"10.21236\/ADA209118"},{"key":"12_CR12","unstructured":"K. Rustan M. Leino. Toward Reliable Modular Programs. PhD thesis, California Institute of Technology, January 1995. Available as Technical Report Caltech-CS-TR-95-03."},{"key":"12_CR13","unstructured":"K. Rustan M. Leino. Ecstatic: An object-oriented programming language with an axiomatic semantics. In The Fourth International Workshop on Foundations of Object-Oriented Languages, January 1997. Proceedings available from http:\/ \/www.cs.indiana.edu\/hyplan\/pierce\/fool\/."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"K. Rustan M. Leino. Recursive object types in a logic of oject-oriented programs. Technical Note 1997-025a, Digital Equipment Corporation Systems Research Center, January 1998.","DOI":"10.1007\/BFb0053570"},{"key":"12_CR15","unstructured":"K. Rustan M. Leino and Greg Nelson. Object-oriented guarded commands. Internal manuscript KRML 50, Digital Equipment Corporation Systems Research Center, March 1995."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Greg Nelson. Verifying reachability invariants of linked structures. Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, pages 38\u201347, January 1983.","DOI":"10.1145\/567067.567073"},{"volume-title":"Systems Programming with Modula-3. Sries in Innovative Technology","year":"1991","key":"12_CR17","unstructured":"Greg Nelson, editor. Systems Programming with Modula-3. Sries in Innovative Technology. Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"key":"12_CR18","unstructured":"Arnd Poetzsch-Heffter and Peter M\u00fcller. A logic for the verification of object-oriented programs. In R. Berghammer and F. Simon, editors, Programming Languages and Fundamentals of Programming. Christian Albrechts-Universit\u00e4t Kiel, 1997."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053570","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:13:06Z","timestamp":1558271586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053570"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0053570","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"23 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}