{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:33:12Z","timestamp":1725593592477},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642222023"},{"type":"electronic","value":"9783642222030"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22203-0_22","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T00:26:28Z","timestamp":1309220788000},"page":"257-265","source":"Crossref","is-referenced-by-count":0,"title":["Abstract Formal Framework for Method Overriding"],"prefix":"10.1007","author":[{"given":"Siti","family":"Hafizah","sequence":"first","affiliation":[]},{"given":"Mohd Sapiyan","family":"Baba","sequence":"additional","affiliation":[]},{"given":"Abdullah","family":"Gani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"#cr-split#-22_CR1.1","unstructured":"Banerjee, S.: An Immune System Inspired Approach to Automated Program Verification (2009), (February 2011);"},{"key":"#cr-split#-22_CR1.2","unstructured":"ArXiv:0905.2649, ArXiv database"},{"issue":"3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"Castagna, G.: Covariance And Contravariance: Conflict Without A Cause. ACM Transactions on Programming Languages and Systems\u00a017(3), 431\u2013447 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.entcs.2005.02.030","volume":"141","author":"S. Cherem","year":"2005","unstructured":"Cherem, S., Rugina, R.: A Verifier For Region-Annotated Java Bytecodes. Electronic Notes on Theoretical Computer Science\u00a0141(1), 183\u2013201 (2005)","journal-title":"Electronic Notes on Theoretical Computer Science"},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1328897.1328452","volume":"43","author":"W.N. Chin","year":"2008","unstructured":"Chin, W.N., David, C., et al.: Enhancing Modular OO Verification With Separation Logic. ACM SIGPLAN Notices\u00a043(1), 87\u201399 (2008)","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/251595.251601","volume":"32","author":"P. Cousot","year":"1997","unstructured":"Cousot, P.: Program Analysis: The Abstract Interpretation Perspective. ACM SIGPLAN Notices\u00a032(1), 76 (1997)","journal-title":"ACM SIGPLAN Notices"},{"issue":"7","key":"22_CR6","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.jlap.2010.07.008","volume":"79","author":"J. Dovland","year":"2010","unstructured":"Dovland, J., Johnsen, E., et al.: Lazy Behavioral Subtyping. Journal of Logic and Algebraic Programming\u00a079(7), 578\u2013607 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"4","key":"22_CR7","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof Of Correctness Of Data Representations. Acta Informatica\u00a01(4), 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-540-24851-4_22","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"K.R.M. Leino","year":"2004","unstructured":"Leino, K.R.M., M\u00fcller, P.: Object invariants in dynamic contexts. In: Vetta, A. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 491\u2013515. Springer, Heidelberg (2004)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-71316-6_7","volume-title":"Programming Languages and Systems","author":"K.R.M. Leino","year":"2007","unstructured":"M. Leino, K.R., Schulte, W.: Using History Invariants to Verify Observers. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 80\u201394. Springer, Heidelberg (2007)"},{"issue":"5","key":"22_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/62139.62141","volume":"23","author":"B. Liskov","year":"1988","unstructured":"Liskov, B.: Data Abstraction And Hierarchy. ACM SIGPLAN Notices\u00a023(5), 17\u201334 (1988)","journal-title":"ACM SIGPLAN Notices"},{"issue":"6","key":"22_CR11","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 Transaction on Programming languages and Systems\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transaction on Programming languages and Systems"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-24622-0_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Logozzo","year":"2004","unstructured":"Logozzo, F.: Automatic Inference of Class Invariants. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 211\u2013222. Springer, Heidelberg (2004)"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.entcs.2004.02.074","volume":"116","author":"F. Logozzo","year":"2005","unstructured":"Logozzo, F.: An Approach To Behavioral Subtyping Based On Static Analysis. Electronic Notes in Theoretical Computer Science\u00a0116, 157\u2013170 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Muller, P.: Modular Specification And Verification Of Object-Oriented Programs. LNCS, vol. 2262. Springer-Verlag. PhD Thesis (2002)","DOI":"10.1007\/3-540-45651-1"},{"key":"22_CR15","unstructured":"Parkinson, M.: Class Invariants: The End Of The Road? In: Proceedings of the International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming, Berlin, Germany, pp. 9\u201310 (2007)"},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1328897.1328451","volume":"43","author":"M.J. Parkinson","year":"2008","unstructured":"Parkinson, M.J., Bierman, G.M.: Separation Logic, Abstraction And Inheritance. ACM SIGPLAN Notices\u00a043(1), 75\u201386 (2008)","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"22_CR17","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.scico.2006.03.003","volume":"64","author":"E. Rodriguez-Carbonell","year":"2007","unstructured":"Rodriguez-Carbonell, E., Kapur, D.: Automatic Generation Of Polynomial Invariants Of Bounded Degree Using Abstract Interpretation. Science of Computer Programming\u00a064(1), 54\u201375 (2007)","journal-title":"Science of Computer Programming"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Webber, A.B.: What Is A Class Invariant? In: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering., pp. 86\u201389. Snowbird (2001)","DOI":"10.1145\/379605.379685"},{"key":"22_CR19","first-page":"300","volume-title":"10th International Conference on Quality Software","author":"J. Xing","year":"2010","unstructured":"Xing, J., Li, M., et al.: Automated Program Verification Using Generation Of Invariants. In: 10th International Conference on Quality Software, pp. 300\u2013305. IEEE, Zhangjiajie, ChinaZhangjiajie, China (2010)"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-00255-7_15","volume-title":"Integrated Formal Methods","author":"J. Dovland","year":"2009","unstructured":"Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Incremental reasoning for multiple inheritance. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 215\u2013230. Springer, Heidelberg (2009)"}],"container-title":["Communications in Computer and Information Science","Software Engineering and Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22203-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T12:19:53Z","timestamp":1560341993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22203-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642222023","9783642222030"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22203-0_22","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}