{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:18Z","timestamp":1725475878007},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_23","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T19:00:28Z","timestamp":1167418828000},"page":"252-265","source":"Crossref","is-referenced-by-count":0,"title":["(True) Polymorphism in SPARK2000"],"prefix":"10.1007","author":[{"given":"Tse-Min","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John A.","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 95 Rationale","year":"1997","unstructured":"Barnes, J.G.P. (ed.): Ada 95 Rationale. LNCS, vol.\u00a01247. Springer, Heidelberg (1997)"},{"key":"23_CR2","volume-title":"High Integrity Ada: The Spark Approach","author":"J.G.P. Barnes","year":"1997","unstructured":"Barnes, J.G.P.: High Integrity Ada: The Spark Approach. Addison-Wesley, Reading (1997)"},{"key":"23_CR3","unstructured":"Brien, S.M., Nicholls, J.E. (eds.): Z Base Standard (Version 1.0). ZIP Project, Programming Research Group, Oxford University (1992)"},{"key":"23_CR4","unstructured":"Dhara, K.K., Leavens, G.T.: Forcing behavioral subtyping through specification inheritance. Technical Report 95-20c, Dept. of Computer Science, Iowa State University (1995)"},{"key":"23_CR5","volume-title":"Garbage Collection: Algorithms for Automatic Dynamic Memory Management","author":"R. Jones","year":"1996","unstructured":"Jones, R., Lins, R.D.: Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley & Sons, Chichester (1996)"},{"key":"23_CR6","series-title":"Prentice Hall Object-Oriented Series","volume-title":"Object-Oriented Specification Case Studies","year":"1994","unstructured":"Lano, K.C., Haughton, H.P. (eds.): Object-Oriented Specification Case Studies. Prentice Hall Object-Oriented Series. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"23_CR7","unstructured":"Lin, T.-M.: A formal semantics for MooZ (in portuguese). Master\u2019s thesis, Dept. of Informatics, Federal University of Pernambuco (UFPE) (1993), Available from ftp.di.ufpe.br:\/pub\/projects\/mooz\/ or e-mail ltm@poboxes.com for a copy"},{"key":"23_CR8","unstructured":"Lin, T.-M.: Spark2000 - an object-oriented extension to Spark 1995 (draft) (1999), E-mail ltm@poboxes.com for a copy"},{"issue":"6","key":"23_CR9","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B.H. Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"23_CR10","unstructured":"Meira, S.R.L., Cavalcanti, A.L.C.: The MooZ specification language (version 0.4). Technical Report ES\/1.92, ProTeM\/CC\/NE - Dept. of Informatics, Federal University of Pernambuco (UFPE) (1992), Available from ftp.di.ufpe.br:\/pub\/projects\/mooz\/ or e-mail srlm@di.ufpe.br for a copy"},{"key":"23_CR11","series-title":"Prentice Hall International Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Stepney, S., Barden, R., Cooper, D. (eds.) Object Orientation in Z. In: Worshops in Computing. Springer, Heidelberg (1992)","DOI":"10.1007\/978-1-4471-3552-4"},{"key":"23_CR13","unstructured":"Utting, M.: An Object-Oriented Refinement Calculus with Modular Reasoning. PhD. thesis, Dept. of Computer Science, University of New South Wales (1992)"},{"key":"23_CR14","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Using Z \u2013 Specification, Refinement and Proof","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davis, J.: Using Z \u2013 Specification, Refinement and Proof. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs (1996)"}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T17:23:25Z","timestamp":1548437005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722060_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676690","9783540450986"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/10722060_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}