{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:46Z","timestamp":1740097066555,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642546235"},{"type":"electronic","value":"9783642546242"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-642-54624-2_9","type":"book-chapter","created":{"date-parts":[[2014,2,28]],"date-time":"2014-02-28T17:42:59Z","timestamp":1393609379000},"page":"171-187","source":"Crossref","is-referenced-by-count":1,"title":["Negative Variables and the Essence of Object-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Kogtenkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/11804192_16","volume-title":"Formal Methods for Components and Objects","author":"P. Chalin","year":"2006","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond Assertions: Advanced Specification and Verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 342\u2013363. Springer, Heidelberg (2006)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-642-14295-6_42","volume-title":"Computer Aided Verification","author":"E. Cohen","year":"2010","unstructured":"Cohen, E., Moskal, M., Schulte, W., Tobies, S.: Local Verification of Global Invariants in Concurrent Programs. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 480\u2013494. Springer, Heidelberg (2010)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-71289-3_26","volume-title":"Fundamental Approaches to Software Engineering","author":"\u00c1. Darvas","year":"2007","unstructured":"Darvas, \u00c1., Leino, K.R.M.: Practical reasoning about invocations and implementations of pure methods. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 336\u2013351. Springer, Heidelberg (2007)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"\u00c1d\u00e1m, D., M\u00fcller, P.: Reasoning about Method Calls in Interface Specifications. Journal of Object Technology\u00a05(5); Special Issue: ECOOP 2005 Workshop FTfJP, pp. 59\u201385 (June 2006), \n                  \n                    http:\/\/www.jot.fm\/issues\/issues200606\/article3","DOI":"10.5381\/jot.2006.5.5.a3"},{"key":"9_CR5","unstructured":"Fronk, A.: An Approach to Algebraic Semantics of Object-Oriented Languages. \u2013 Software-Technology. University of Dortmund, Germany (2003), doi:2003\/2682"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Procedures and Parameters, An Axiomatic Approach. In: Symposium on Semantics of Algorithmic Languages, pp. 102\u2013116 (1971), doi:10.1007\/BFb0059696","DOI":"10.1007\/BFb0059696"},{"key":"9_CR7","unstructured":"Kassios, I.T., Kritikos, E.: A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness. ETH Zurich, Department of Computer Science (2012), \n                  \n                    http:\/\/dx.doi.org\/10.3929\/ethz-a-007560318"},{"key":"9_CR8","unstructured":"Rustan, K., Leino, M.: Ecstatic: An object-oriented programming language with an axiomatic semantics. Digital Equipment Corporation Systems Research Center (1996)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Meyer, B., Kogtenkov, A., Stapf, E.: Avoid a Void: The Eradication of Null Dereferencing. In: Jones, C.B., Roscoe, A.W., Wood, K.R. (eds.) Reflections on the Work of C.A.R. Hoare, pp. 189\u2013211. Springer (2010)","DOI":"10.1007\/978-1-84882-912-1_9"},{"key":"9_CR10","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall (1997)"},{"key":"9_CR11","unstructured":"Meyer, B.: Steps Towards a Theory and Calculus of Aliasing. International Journal of Software and Informatics (2011)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Towards a Calculus of Object Programs. In: Festschrift, J.B., Breitman, K., Horspool, N. (eds.). Springer (2012)","DOI":"10.1007\/978-1-4471-2350-7_8"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Modular Specification and Verification of Object-Oriented Programs","year":"2002","unstructured":"M\u00fcller, P. (ed.): Modular Specification and Verification of Object-Oriented Programs. LNCS, vol.\u00a02262. Springer, Heidelberg (2002)"},{"key":"9_CR14","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming. \u2013 PhD dissertation 17061, Department of Computer Science, ETH Zurich (February 2007). Other SCOOP references at \n                  \n                    http:\/\/se.inf.ethz.ch\/research\/cme\/"},{"issue":"4","key":"9_CR15","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(4), 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"key":"9_CR16","unstructured":"Schoeller, B.: Aliased-based Reasoning for Object-Oriented Programs. Tech. Report, ETH Zurich (2005), \n                  \n                    http:\/\/se.ethz.ch\/people\/schoeller\/pdfs\/10-Annual_Report_CSE_ETHZ_2005.pdf"},{"key":"9_CR17","unstructured":"Shield, J.: Towards an Object-Oriented Refinement Calculus. - PhD Thesis, The University of Queensland (2004)"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11704-012-1307-8","volume":"7","author":"W. Ke","year":"2013","unstructured":"Ke, W., Liu, Z., Wang, S., Zhao, L.: A graph-based generic type system for object-oriented programs. Frontiers of Computer Science\u00a07(1), 109\u2013134 (2013), doi:10.1007\/s11704-012-1307-8","journal-title":"Frontiers of Computer Science"}],"container-title":["Lecture Notes in Computer Science","Specification, Algebra, and Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54624-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T06:17:30Z","timestamp":1558851450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54624-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642546235","9783642546242"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54624-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}