{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:54:26Z","timestamp":1725468866087},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540542620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0057021","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T18:28:04Z","timestamp":1155839284000},"page":"167-179","source":"Crossref","is-referenced-by-count":15,"title":["Inheritance in object oriented Z"],"prefix":"10.1007","author":[{"given":"Elspeth","family":"Cusack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"J-R Abrial, S Schumann and B Meyer, Specification language, in R McKeag and A Macnaghten (eds), On the construction of programs: an advanced course, Cambridge University Press, 1980"},{"key":"10_CR2","unstructured":"Pierre America, A behavioural approach to subtyping in object oriented programming languages, ESPRIT Project 415 Doc No 443, January 1989"},{"key":"10_CR3","volume-title":"LOTOS specifications, their implementations and their tests","author":"E. Brinksma","year":"1986","unstructured":"Ed Brinksma, Giuseppe Scollo and Chris Steenbergen, LOTOS specifications, their implementations and their tests, Proc. Sixth International Symposium on Protocol Specification, Testing and Verification, Montreal, June 1986 (North Holland)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Peter Wegner, On understanding types, data abstraction and polymorphism, Computing Surveys 17, December 1985","DOI":"10.1145\/6041.6042"},{"key":"10_CR5","volume-title":"Object-Z: An object oriented extension to Z","author":"D Carrington","year":"1989","unstructured":"D Carrington, D Duke, R Duke, P King, G Rose and G Smith, Object-Z: An object oriented extension to Z, FORTE89 \u2014 International Conference On Formal Description Techniques, Vancouver, December 1989 (North Holland)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"William Cook, Jens Palsberg, A denotational semantics of inheritance and its correctness, Object Oriented Programming Systems, Languages and Applications 89, New Orleans, October 1989","DOI":"10.1145\/74877.74922"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Elspeth Cusack, Refinement, conformance and inheritance, Formal Aspects of Computing Vol 3 No 2, April\u2013June 1991","DOI":"10.1007\/BF01898400"},{"key":"10_CR8","volume-title":"An object oriented interpretation of LOTOS","author":"E. Cusack","year":"1989","unstructured":"Elspeth Cusack, Steve Rudkin and Chris Smith, An object oriented interpretation of LOTOS, FORTE89 \u2014 International Conference On Formal Description Techniques, Vancouver, December 1989 (North Holland)"},{"key":"10_CR9","volume-title":"Object oriented specification in LOTOS and Z or, My cat really is object oriented!","author":"E. Cusack","year":"1990","unstructured":"Elspeth Cusack and Mike Lai, Object oriented specification in LOTOS and Z or, My cat really is object oriented!, Workshop on the Foundations of Object Oriented Languages, Noordwijkerhout, The Netherlands, May 1990"},{"key":"10_CR10","unstructured":"Elspeth Cusack, Object oriented modelling in Z, February 1991, submitted for publication"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"David Duke and Roger Duke, Towards a semantics for Object-Z, VDM'90: VDM and Z, April 1990","DOI":"10.1007\/3-540-52513-0_14"},{"key":"10_CR12","volume-title":"Object oriented protocol specification","author":"R. Duke","year":"1990","unstructured":"Roger Duke, Gordon Rose and Anthony Lee, Object oriented protocol specification, Proc Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, June 1990 (North Holland)"},{"key":"10_CR13","unstructured":"A Goldberg and D Robson, Smalltalk-80: the language and its implementation, Addison-Wesley (1983) reprinted 1985"},{"key":"10_CR14","unstructured":"Joseph A Goguen and Jose Meseguer, Unifying functional, object-oriented and relational programming with logical semantics in Research Directions In Object Oriented Programming, Bruce Shriver and Peter Wegner (editors), MIT Press, 1987"},{"key":"10_CR15","unstructured":"Ian Hayes (ed), Specification Case Studies, Prentice-Hall International Series in Computer Science, 1987"},{"key":"10_CR16","unstructured":"C A R Hoare, Communicating Sequential Processes, Prentice-Hall International Series in Computer Science, 1985"},{"key":"10_CR17","unstructured":"Carroll Morgan, Programming from specifications, Prentice Hall International Series in Computer Science, 1990"},{"key":"10_CR18","volume-title":"Specification of object-oriented systems in LOTOS","author":"T Mayr","year":"1988","unstructured":"T Mayr, Specification of object-oriented systems in LOTOS, International Conference on Formal Description Techniques \u2014 FORTE88, Stirling, September 1988 (North Holland)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Peter Wegner and Stanley Zdonik, Inheritance as an incremental modification technique, or what like is and isn't like, European Conference on Object Oriented Programming, Norway, August 1988","DOI":"10.1007\/3-540-45910-3_4"},{"key":"10_CR20","unstructured":"J M Spivey, The Z Notation: A Reference Manual, Prentice-Hall International Series in Computer Science, 1989"},{"key":"10_CR21","unstructured":"ISO IS 8807, LOTOS \u2014 a formal description technique based on the temporal ordering of observational behaviour, 1989"},{"key":"10_CR22","unstructured":"ISO JTC1 SC21 WG7 N315 Basic Reference Model for Open Distributed Processing, Draft Working Document, December 1990"},{"key":"10_CR23","unstructured":"ISO JTC1 SC21 WG7 N314, Architectural semantics, specification techniques and formalisms, Draft Working Document, December 1990"}],"container-title":["Lecture Notes in Computer Science","ECOOP'91 European Conference on Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057021.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:00:38Z","timestamp":1607551238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540542620"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0057021","relation":{},"subject":[]}}