{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:12Z","timestamp":1725557832120},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213666"},{"type":"electronic","value":"9783540399933"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-39993-3_15","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:30:36Z","timestamp":1277231436000},"page":"302-333","source":"Crossref","is-referenced-by-count":6,"title":["Incremental Reasoning for Object Oriented Systems"],"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":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/BFb0030634","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"M. Abadi","year":"1997","unstructured":"Abadi, M., Leino, K.: A logic of oo programs. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 682\u2013696. Springer, Heidelberg (1997)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","first-page":"69","volume-title":"Foundations of Object-Oriented Languages","author":"P. America","year":"1991","unstructured":"America, P.: Designing an object oriented programming language with behavioral subtyping. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol.\u00a0489, pp. 69\u201390. Springer, Heidelberg (1991)"},{"key":"15_CR3","unstructured":"Buchi, M., Weck, W.: The greybox approach: when blackbox specifications hide too much. Technical Report TUCS TR No. 297, Turku Centre for Computer Science (1999), available at http:\/\/www.tucs.abo.fi\/"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Computing Surveys (1985)","DOI":"10.1145\/6041.6042"},{"key":"15_CR5","volume-title":"Verifiable Programming","author":"O.J. Dahl","year":"1992","unstructured":"Dahl, O.J.: Verifiable Programming. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"15_CR6","series-title":"Elec Notes in Theoretical Computer Sc.","first-page":"269","volume-title":"Proc. of 11th Annual Conf. on Math. Found. of Programming","author":"K.K. Dhara","year":"1995","unstructured":"Dhara, K.K., Leavens, G.T.: Weak behavioral subtyping for types with mutable objects. In: Brookes, S., Main, M., Melton, A., Mislove, M. (eds.) Proc. of 11th Annual Conf. on Math. Found. of Programming. Elec Notes in Theoretical Computer Sc., pp. 269\u2013290. Elsevier, Amsterdam (1995)"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/ICSE.1996.493421","volume-title":"Proc. of 18th Int. Conf. on Softw. Eng.","author":"K.K. Dhara","year":"1996","unstructured":"Dhara, K.K., Leavens, G.T.: Forcing behavioral subtyping through specification inheritance. In: Proc. of 18th Int. Conf. on Softw. Eng., pp. 258\u2013267. IEEE Computer Soc., Los Alamitos (1996)"},{"key":"15_CR8","unstructured":"Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Simula 67 common base language. Technical Report S-2, Norwegian Computing Center, Oslo (1968)"},{"issue":"9","key":"15_CR9","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O.J. Dahl","year":"1966","unstructured":"Dahl, O.J., Nygaard, K.: Simula - an algol-based simulation language. Communications of the ACM\u00a09(9), 671\u2013678 (1966)","journal-title":"Communications of the ACM"},{"key":"15_CR10","first-page":"83","volume":"23","author":"S. Edwards","year":"1997","unstructured":"Edwards, S.: Representation inheritance: A safe form of \u2018white box\u2019 code inheritance. IEEE TSE\u00a023, 83\u201392 (1997)","journal-title":"IEEE TSE"},{"key":"15_CR11","volume-title":"Design Patterns: Elements of Reusable OO Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable OO Software. Addison-Wesley, Reading (1995)"},{"key":"15_CR12","first-page":"209","volume-title":"Proceedings of Foundations of Software Engineering (FSE- 6)","author":"D. Garlan","year":"1998","unstructured":"Garlan, D., Jha, S., Notkin, D., Dingel, J.: Reasoning about implicit invocation. In: Proceedings of Foundations of Software Engineering (FSE- 6), pp. 209\u2013221. ACM Press, New York (1998)"},{"key":"15_CR13","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"15_CR14","volume-title":"Systematic Software Development Using VDM","author":"C. Jones","year":"1990","unstructured":"Jones, C.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"15_CR15","first-page":"478","volume-title":"22nd Int. Conf. of Software Eng.","author":"I. Keidar","year":"2000","unstructured":"Keidar, I., Khazan, R., Lynch, N., Shvartsman, A.: Inheritance-based technique for building simulation proofs incrementally. In: Harrold, M. (ed.) 22nd Int. Conf. of Software Eng., pp. 478\u2013487. ACM, New York (2000)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J.: Issues in the design and specification of class libraries. In: OOPSLA 1992, pp. 435\u2013451 (1992)","DOI":"10.1145\/141937.141971"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Lamping, J.: Typing the specialization interface. In: OOPSLA, pp. 201\u2013214 (1993)","DOI":"10.1145\/167962.165891"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-47910-4_8","volume-title":"ECOOP \u201993 - Object-Oriented Programming","author":"B. Liskov","year":"1993","unstructured":"Liskov, B., Wing, J.: A new definition of the subtype relation. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol.\u00a0707, pp. 118\u2013141. Springer, Heidelberg (1993)"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A behavioral notion of subtyping. ACM Trans. on Prog. Lang. and Systems\u00a016, 1811\u20131841 (1994)","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, K.: Proofs of networks of processes. IEEE Trans. on Software Eng.\u00a07, 417\u2013426 (1981)","journal-title":"IEEE Trans. on Software Eng."},{"key":"15_CR21","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs (1997)"},{"key":"15_CR22","doi-asserted-by":"crossref","first-page":"107","DOI":"10.7551\/mitpress\/2087.003.0007","volume-title":"Research directions in concurrent OO programming","author":"S. Matsuoka","year":"1993","unstructured":"Matsuoka, S., Yonezawa, A.: Analysis of inheritance anomaly in oo concurrent languages. In: Agha, Wegner, Yonezawa (eds.) Research directions in concurrent OO programming, pp. 107\u2013150. MIT Press, Cambridge (1993)"},{"issue":"1","key":"15_CR23","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":"15_CR24","unstructured":"Sakkinen, M.: Disciplined inheritance. In: Cook, S. (ed.) Proceedings of ECOOP 1989. British Computer Workshop Series, pp. 39\u201356 (1989)"},{"key":"15_CR25","unstructured":"Soundarajan, N., Dahl, O.-J.: Partial correctness semantics of CSP. Technical Report 66, Institute of Informatics, Oslo University (1982)"},{"key":"15_CR26","first-page":"200","volume-title":"OOPSLA","author":"R. Stata","year":"1995","unstructured":"Stata, R., Guttag, J.V.: Modular reasoning in the presence of subclassing. In: OOPSLA, pp. 200\u2013214. ACM Press, New York (1995)"},{"key":"15_CR27","volume-title":"The Object Constraint Langauge","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Langauge. Addison- Wesley, Reading (1999)"}],"container-title":["Lecture Notes in Computer Science","From Object-Orientation to Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39993-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T19:16:31Z","timestamp":1711566991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39993-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213666","9783540399933"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39993-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}