{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:00Z","timestamp":1725663720243},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525134"},{"type":"electronic","value":"9783540470069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52513-0_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:34:14Z","timestamp":1330205654000},"page":"244-261","source":"Crossref","is-referenced-by-count":28,"title":["Towards a semantics for object-Z"],"prefix":"10.1007","author":[{"given":"David","family":"Duke","sequence":"first","affiliation":[]},{"given":"Roger","family":"Duke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"14_CR1","unstructured":"J.-R. Abrial, S. Schuman, and B. Meyer. Specification language. In R. McKeag and A. Macnaghten, editors, On the Construction of Programs: An advanced course, pages 343\u2013410. Cambridge University Press, 1980."},{"key":"14_CR2","unstructured":"H. Ait-Kaci. Type subsumption as a model of computation. In Expert Database Systems. Benjammin\/Cummings Inc, 1986."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"S. Bear. Structuring for the VDM specification language. In VDM'88: VDM-The Way Ahead. Lecture Notes in Computer Science, Vol 328. Springer-Verlag, 1988. R. Bloomfield, L. Marshall, R. Jones (eds).","DOI":"10.1007\/3-540-50214-9_2"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume":"173","author":"L. Cardelli","year":"1984","unstructured":"L. Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, Lecture Notes in Computer Science, Vol 173, pages 51\u201368. Springer-Verlag, 1984.","journal-title":"Semantics of Data Types, Lecture Notes in Computer Science"},{"issue":"4","key":"14_CR5","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471\u2013522, December 1985.","journal-title":"Computing Surveys"},{"key":"14_CR6","unstructured":"D. Carrington, D. Duke, R. Duke, P. King, G. Rose, and G. Smith. Object-Z: An object-oriented extension to Z. In Formal Description Techniques (FORTE'89). North Holland, 1990."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"S. Clerici and F. Orejas. GSBL: An algebraic specification language based on inheritance. In ECOOP'88: European Conference on Object-Oriented programming, Lecture Notes in Computer Science, Vol 322, pages 78\u201392. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-45910-3_5"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"W. Cook. A denotational semantics of inheritance and its correctness. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications '89, 1989.","DOI":"10.1145\/74877.74922"},{"key":"14_CR9","unstructured":"E. Cusack, S. Rudkin, and C. Smith. An object-oriented interpretation of LOTOS. In Formal Description Techniques (FORTE'89). North Holland, 1990."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"S. Danforth and C. Tomlinson. Type theories and object-oriented programming. Computing Surveys, 20(1), Mar 1988.","DOI":"10.1145\/62058.62060"},{"key":"14_CR11","unstructured":"R. Duke, I. Hayes, P. King, and G. Rose. Protocol verification and specification using Z. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification VIII, pages 33\u201346. North Holland, 1988."},{"key":"14_CR12","unstructured":"R. Duke and G. Smith. Temporal logic and Z specifications. Australian Computer Journal, pages 62\u201366, 1989."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"D. Halbert and P. O'Brien. Using types and inheritance in object-oriented languages. In J. Bezivin, J. Hullot, P. Cointe, and H. Lieberman, editors, ECOOP'87: European Conference on Object-Oriented programming, Lecture Notes in Computer Science, Vol 276, pages 20\u201331. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-47891-4_3"},{"key":"14_CR14","unstructured":"I. Hayes, editor. Specification Case Studies. International Series in Computer Science. Prentice Hall, 1987."},{"key":"14_CR15","unstructured":"T. Mayr. Specification of object-oriented systems in LOTOS. In K. Turner, editor, Formal Description Techniques (FORTE'88), pages 107\u2013119. North Holland, 1989."},{"key":"14_CR16","unstructured":"B. Meyer. Object-oriented Software Construction. International Series in Computer Science. Prentice Hall, 1988."},{"issue":"2","key":"14_CR17","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/TSE.1984.5010215","volume":"SE-10","author":"C. Morgan","year":"1984","unstructured":"C. Morgan and B. Sufrin. Specification of the Unix filing system. IEEE Trans. Software Engin., SE-10(2):128\u2013142, 1984.","journal-title":"IEEE Trans. Software Engin."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"14_CR19","unstructured":"S. Schuman and D. Pitt. Object oriented subsystem specification. In L. Meertens, editor, Program Specification and Transformation, pages 313\u2013341. North Holland, 1985."},{"key":"14_CR20","unstructured":"A. Sernadas and C. Sernadas. Object-oriented specification of databases: An algebraic approach. In Proceedings of 13th Conference on Very Large Databases, 1987."},{"key":"14_CR21","unstructured":"R. Sijelmassi and P. Gaudette. An object-oriented model for Estelle. In K. Turner, editor, Formal Description Techniques (FORTE'88), pages 91\u2013105. North Holland, 1989."},{"key":"14_CR22","unstructured":"G. Smith and R. Duke. Specification and verification of a cache coherence protocol. Technical Report 126, Dept. of Computer Science, University of Queensland, 1989."},{"key":"14_CR23","unstructured":"A. Snyder. Inheritance and development of encapsulated software components. In J. Bezivin, J. M. Hullot, P. Cointe, and H. Lieberman, editors, ECOOP'87: European Conference on Object-Oriented programming, Lecture Notes in Computer Science, Vol 276, pages 20\u201331. Springer-Verlag, 1987."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"I.H. S\u00f8rensen. A specification language. In J. Staunstrup, editor, Program Specification, Lecture Notes in Computer Science, Vol 134, pages 381\u2013401. Springer-Verlag, 1982.","DOI":"10.1007\/3-540-11490-4_23"},{"key":"14_CR25","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice Hall, 1989."},{"key":"14_CR26","unstructured":"J.M. Spivey. Understanding Z: A specification language and its formal semantics. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988."},{"key":"14_CR27","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1986."},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"P. Wegner and S. Zdonik. Inheritance as an incremental modification mechanism or what like is and isn't like. In ECOOP'88: European Conference on Object-Oriented programming, Lecture Notes in Computer Science, Vol 322, pages 55\u201377. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-45910-3_4"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"M. Wolczko. Semantics of smalltalk-80. In J. Bezivin, J. Hullot, P. Cointe, and H. Lieberman, editors, ECOOP'87: European Conference on Object-Oriented programming, Lecture Notes in Computer Science, Vol 276, pages 108\u2013120. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-47891-4_11"}],"container-title":["Lecture Notes in Computer Science","VDM '90 VDM and Z \u2014 Formal Methods in Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52513-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:20Z","timestamp":1605648260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52513-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525134","9783540470069"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-52513-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}