{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:09Z","timestamp":1763468049132,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":81,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226540"},{"type":"electronic","value":"9783642226557"}],"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-22655-7_8","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T13:37:43Z","timestamp":1310996263000},"page":"155-178","source":"Crossref","is-referenced-by-count":5,"title":["Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Ostermann","sequence":"first","affiliation":[]},{"given":"Paolo G.","family":"Giarrusso","sequence":"additional","affiliation":[]},{"given":"Christian","family":"K\u00e4stner","sequence":"additional","affiliation":[]},{"given":"Tillmann","family":"Rendel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst.\u00a015, 73\u2013132 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11531142_7","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"J. Aldrich","year":"2005","unstructured":"Aldrich, J.: Open modules: Modular reasoning about advice. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 144\u2013168. Springer, Heidelberg (2005)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Software Language Engineering","author":"T.T. Bartolomei","year":"2011","unstructured":"Bartolomei, T.T., Czarnecki, K., L\u00e4mmel, R., van der Storm, T.: Study of an API migration for two XML APIs. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, Springer, Heidelberg (2011)"},{"key":"8_CR4","first-page":"506","volume-title":"Companion Int\u2019l Conf. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)","author":"J. Bloch","year":"2006","unstructured":"Bloch, J.: How to design a good API and why it matters. In: Companion Int\u2019l Conf. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), pp. 506\u2013507. ACM, New York (2006)"},{"key":"8_CR5","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G. Booch","year":"2007","unstructured":"Booch, G.: Object-Oriented Analysis and Design with Applications. Addison-Wesley, Reading (2007)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A. Borgida","year":"1995","unstructured":"Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Trans. Softw. Eng.\u00a021, 785\u2013798 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR7","unstructured":"Bremer, M.: An Introduction to Paraconsistent Logics. Peter Lang Publishing (2005)"},{"key":"8_CR8","first-page":"195","volume-title":"Proc. Int\u2019l Conf. Software Engineering (ICSE)","author":"K.H. Britton","year":"1981","unstructured":"Britton, K.H., Parker, R.A., Parnas, D.L.: A procedure for designing abstract interfaces for device interface modules. In: Proc. Int\u2019l Conf. Software Engineering (ICSE), pp. 195\u2013204. IEEE Press, Los Alamitos (1981)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/MS.1995.10042","volume":"12","author":"F.P. Brooks","year":"1995","unstructured":"Brooks, F.P.: The mythical man-month: After 20 years. IEEE Software\u00a012, 57\u201360 (1995)","journal-title":"IEEE Software"},{"key":"8_CR10","doi-asserted-by":"publisher","DOI":"10.1093\/0198247044.001.0001","volume-title":"How the laws of physics lie","author":"N. Cartwright","year":"1983","unstructured":"Cartwright, N.: How the laws of physics lie. Clarendon Press, Oxford (1983)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293\u2013322 (1977)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"8_CR12","first-page":"174","volume-title":"Proc. Conf. Programming Language Design and Implementation (PLDI)","author":"W.D. Clinger","year":"1998","unstructured":"Clinger, W.D.: Proper tail recursion and space efficiency. In: Proc. Conf. Programming Language Design and Implementation (PLDI), pp. 174\u2013185. ACM, New York (1998)"},{"key":"8_CR13","volume-title":"The Blind Watchmaker","author":"R. Dawkins","year":"1986","unstructured":"Dawkins, R.: The Blind Watchmaker. Norton & Company, New York (1986)"},{"key":"8_CR14","unstructured":"Descartes, R.: Discourse on the Method of Rightly Conducting One\u2019s Reason and of Seeking Truth in the Sciences (1637), http:\/\/www.gutenberg.org\/etext\/59"},{"volume-title":"Open Sources: Voices from the Open Source Revolution","year":"1999","key":"8_CR15","unstructured":"DiBona, C., Ockman, S., Stone, M. (eds.): Open Sources: Voices from the Open Source Revolution. O\u2019Reilly & Associates, Inc., Sebastopol (1999)"},{"key":"8_CR16","first-page":"101","volume-title":"Proc. ACM Symposium on Operating System Principles","author":"E.W. Dijkstra","year":"1967","unstructured":"Dijkstra, E.W.: The structure of \u201cTHE\u201d-multiprogramming system. In: Proc. ACM Symposium on Operating System Principles, pp. 10.1\u201310.6. ACM, New York (1967)"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-1-4612-5695-3_12","volume-title":"Selected Writings on Computing: A Personal Perspective","author":"E.W. Dijkstra","year":"1982","unstructured":"Dijkstra, E.W.: EWD 447: On the role of scientific thought. In: Selected Writings on Computing: A Personal Perspective, pp. 60\u201366. Springer, Heidelberg (1982)"},{"key":"8_CR18","unstructured":"Ernst, E.: Method mixins. In: Proc. Net.ObjectDays\/GSEM, pp. 145\u2013161. GI (2005)"},{"issue":"2","key":"8_CR19","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"M.D. Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng.\u00a027(2), 99\u2013123 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.tcs.2004.12.006","volume":"338","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Freund, S.N., Qadeer, S., Seshia, S.A.: Modular verification of multithreaded programs. Theor. Comput. Sci.\u00a0338, 153\u2013183 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR21","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Gabbay","year":"1994","unstructured":"Gabbay, D.: Classical vs non-classical logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a02, Oxford University Press, Oxford (1994)"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"8_CR23","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. J. ACM\u00a024(1), 68\u201395 (1977)","journal-title":"J. ACM"},{"key":"8_CR24","first-page":"740","volume-title":"The Philosophy of Science: An Encyclopedia","author":"S. Hartmann","year":"2005","unstructured":"Hartmann, S., Frigg, R.: Scientific models. In: Sarkar, S., Pfeifer, J. (eds.) The Philosophy of Science: An Encyclopedia, vol.\u00a02, pp. 740\u2013749. Routledge, New York (2005)"},{"key":"8_CR25","volume-title":"The organization of behavior","author":"D. Hebb","year":"1949","unstructured":"Hebb, D.: The organization of behavior. John Wiley & Sons, Chichester (1949)"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-45070-2_19","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"J. Henkel","year":"2003","unstructured":"Henkel, J., Diwan, A.: Discovering algebraic specifications from Java classes. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 431\u2013456. Springer, Heidelberg (2003)"},{"key":"8_CR27","doi-asserted-by":"crossref","DOI":"10.1201\/b10690","volume-title":"Fundamentals of Mathematical Logic","author":"P. Hinman","year":"2005","unstructured":"Hinman, P.: Fundamentals of Mathematical Logic. A K Peters, Wellesley (2005)"},{"issue":"10","key":"8_CR28","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-24851-4_9","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"D. Janzen","year":"2004","unstructured":"Janzen, D., De Volder, K.: Programming with crosscutting effective views. In: Vetta, A. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 197\u2013220. Springer, Heidelberg (2004)"},{"issue":"6","key":"8_CR30","doi-asserted-by":"publisher","first-page":"59","DOI":"10.5381\/jot.2009.8.6.c5","volume":"8","author":"C. K\u00e4stner","year":"2009","unstructured":"K\u00e4stner, C., Apel, S.: Virtual separation of concerns \u2013 A second chance for preprocessors. Journal of Object Technology (JOT)\u00a08(6), 59\u201378 (2009)","journal-title":"Journal of Object Technology (JOT)"},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/253228.253431","volume-title":"Proc. Int\u2019l Conf. Software Engineering (ICSE)","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Lopes, C.V., Maeda, C., Mendhekar, A., Murphy, G.: Open implementation design guidelines. In: Proc. Int\u2019l Conf. Software Engineering (ICSE), pp. 481\u2013490. ACM, New York (1997)"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"8_CR33","first-page":"49","volume-title":"ICSE","author":"G. Kiczales","year":"2005","unstructured":"Kiczales, G., Mezini, M.: Aspect-oriented programming and modular reasoning. In: ICSE, pp. 49\u201358. ACM, New York (2005)"},{"key":"8_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-47993-7_2","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Kienzle","year":"2002","unstructured":"Kienzle, J., Liu, H.: AOP: Does It Make Sense? The Case of Concurrency and Failures. In: Deng, T. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 37\u2013121. Springer, Heidelberg (2002)"},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.scico.2004.03.012","volume":"54","author":"S. Klusener","year":"2005","unstructured":"Klusener, S., L\u00e4mmel, R., Verhoef, C.: Architectural Modifications to Deployed Software. Science of Computer Programming\u00a054, 143\u2013211 (2005)","journal-title":"Science of Computer Programming"},{"key":"8_CR36","unstructured":"Kroah-Hartman, G.: The Linux kernel driver interface, http:\/\/git.kernel.org\/?p=linux\/kernel\/git\/torvalds\/linux-2.6.git;a=blob;f=Documentation\/stable_api_nonsense.txt"},{"issue":"3","key":"8_CR37","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1093\/bjps\/27.3.201","volume":"27","author":"I. Lakatos","year":"1976","unstructured":"Lakatos, I.: A renaissance of empiricism in the recent philosophy of mathematics. Br. J. Philos. Sci.\u00a027(3), 201\u2013223 (1976)","journal-title":"Br. J. Philos. Sci."},{"key":"8_CR38","unstructured":"Lanier, J.: One half of a manifesto: Why stupid software will save the future from neo-darwinian machines. wired 8.12 (2000)"},{"key":"8_CR39","first-page":"147","volume-title":"Observation Experiment and Hypothesis in Modern Physical Science","author":"R. Laymon","year":"1985","unstructured":"Laymon, R.: Idealizations and the testing of theories by experimentation. In: Achinstein, P., Hannaway, O. (eds.) Observation Experiment and Hypothesis in Modern Physical Science, pp. 147\u2013173. MIT Press, Cambridge (1985)"},{"key":"8_CR40","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/605466.605481","volume":"27","author":"H. Li","year":"2002","unstructured":"Li, H., Krishnamurthi, S., Fisler, K.: Verifying cross-cutting features as open systems. SIGSOFT Softw. Eng. Notes\u00a027, 89\u201398 (2002)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"6","key":"8_CR41","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 Trans. Program. Lang. Syst.\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-16145-2_1","volume-title":"Model Driven Engineering Languages and Systems","author":"O.L. Madsen","year":"2010","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: A unified approach to modeling and programming. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol.\u00a06394, pp. 1\u201315. Springer, Heidelberg (2010)"},{"key":"8_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, Heidelberg (1992)"},{"key":"8_CR44","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription\u2014a form of non-monotonic reasoning. Artificial Intelligence\u00a013, 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"key":"8_CR45","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"8_CR46","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0039-3681(85)90003-2","volume":"16","author":"E. McMullin","year":"1985","unstructured":"McMullin, E.: Galilean Idealization. Studies in the History and Philosophy of Science\u00a016, 247\u2013273 (1985)","journal-title":"Studies in the History and Philosophy of Science"},{"key":"8_CR47","volume-title":"Computational Maps in the Visual Cortex","author":"R. Miikkulainen","year":"2005","unstructured":"Miikkulainen, R., Bednar, J.A., Choe, Y., Sirosh, J.: Computational Maps in the Visual Cortex. Springer, Heidelberg (2005)"},{"issue":"3","key":"8_CR48","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J.C. Mitchell","year":"1988","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. ACM Trans. Program. Lang. Syst.\u00a010(3), 470\u2013502 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR49","doi-asserted-by":"crossref","unstructured":"Montague, R.: Universal grammar. In: Formal Philosophy, pp. 222\u2013246 (1970)","DOI":"10.1111\/j.1755-2567.1970.tb00434.x"},{"key":"8_CR50","unstructured":"Morris, J.H.: Lambda-Calculus Models of Programming Languages. PhD thesis, Massachusetts Institute of Technology (1968)"},{"key":"8_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/BFb0054091","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Noble","year":"1998","unstructured":"Noble, J., Vitek, J., Potter, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 158\u2013185. Springer, Heidelberg (1998)"},{"key":"8_CR52","unstructured":"Object Management Group (OMG). Object management architecture guide, ed 2.0. (1992)"},{"key":"8_CR53","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.W., David, Pym, D.J.: The logic of bunched implications. Bulletin of Symbolic Logic\u00a05, 215\u2013244 (1999)","journal-title":"Bulletin of Symbolic Logic"},{"key":"8_CR54","first-page":"268","volume-title":"Proc. Symp. Principles of Programming Languages (POPL)","author":"P.W. O\u2019Hearn","year":"2004","unstructured":"O\u2019Hearn, P.W., Yang, H., Reynolds, J.C.: Separation and information hiding. In: Proc. Symp. Principles of Programming Languages (POPL), pp. 268\u2013280. ACM, New York (2004)"},{"key":"8_CR55","unstructured":"Ossher, H., Tarr, P.: On the need for on-demand remodularization. In: Position Paper for Aspects and Dimensions of Concern Workshop, ECOOP, Citeseer (2000)"},{"key":"8_CR56","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/1353482.1353489","volume-title":"Proc. Int\u2019l Conf. Aspect-Oriented Software Development (AOSD)","author":"K. Ostermann","year":"2008","unstructured":"Ostermann, K.: Reasoning about aspects with common sense. In: Proc. Int\u2019l Conf. Aspect-Oriented Software Development (AOSD), pp. 48\u201359. ACM, New York (2008)"},{"key":"8_CR57","first-page":"75","volume-title":"Proc. Symp. Principles of Programming Languages (POPL)","author":"M.J. Parkinson","year":"2008","unstructured":"Parkinson, M.J., Bierman, G.M.: Separation logic, abstraction and inheritance. In: Proc. Symp. Principles of Programming Languages (POPL), pp. 75\u201386. ACM, New York (2008)"},{"issue":"12","key":"8_CR58","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"key":"8_CR59","first-page":"336","volume-title":"Proceedings of IFIP Congress 1974","author":"D.L. Parnas","year":"1974","unstructured":"Parnas, D.L.: On a \u201cbuzzword\u201d: Hierarchical structure. In: Proceedings of IFIP Congress 1974, pp. 336\u2013339. North-Holland, Amsterdam (1974)"},{"key":"8_CR60","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: Use of abstract interfaces in the development of software for embedded computer systems. Technical report, NRL Report No. 8047 (1977)","DOI":"10.21236\/ADA043369"},{"key":"8_CR61","first-page":"399","volume-title":"Software Pioneers: Contributions to Software Engineering","author":"D.L. Parnas","year":"2002","unstructured":"Parnas, D.L.: The secret history of information hiding. In: Software Pioneers: Contributions to Software Engineering, pp. 399\u2013409. Springer, Heidelberg (2002)"},{"key":"8_CR62","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-15187-3_8","volume-title":"The Future of Software Engineering","author":"D.L. Parnas","year":"2011","unstructured":"Parnas, D.L.: Precise documentation: The key to better software. In: Nanz, S. (ed.) The Future of Software Engineering, pp. 125\u2013148. Springer, Heidelberg (2011)"},{"key":"8_CR63","first-page":"408","volume-title":"Proc. Int\u2019l Conf. Software Engineering (ICSE)","author":"D.L. Parnas","year":"1984","unstructured":"Parnas, D.L., Clements, P.C., Weiss, D.M.: The modular structure of complex systems. In: Proc. Int\u2019l Conf. Software Engineering (ICSE), pp. 408\u2013417. IEEE Press, Los Alamitos (1984)"},{"key":"8_CR64","volume-title":"Conjectures and refutations: The growth of scientific knowledge","author":"K.R. Popper","year":"1968","unstructured":"Popper, K.R.: Conjectures and refutations: The growth of scientific knowledge. Harper & Row, New York (1968)"},{"key":"8_CR65","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed world data bases. In: Logic and Data Bases, pp. 55\u201376 (1977)","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"8_CR66","first-page":"68","volume-title":"A logic for default reasoning","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A logic for default reasoning, pp. 68\u201393. Morgan Kaufmann Publishers Inc., San Francisco (1987)"},{"key":"8_CR67","unstructured":"Reynolds, J.C.: Types, abstraction and parametric polymorphism. In: IFIP Congress, pp. 513\u2013523 (1983)"},{"key":"8_CR68","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/LICS.2002.1029817","volume-title":"Proc. Symposium on Logic in Computer Science (LICS)","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: Proc. Symposium on Logic in Computer Science (LICS), pp. 55\u201374. IEEE Computer Society, Los Alamitos (2002)"},{"key":"8_CR69","unstructured":"Rinard, M.C., Cadar, C., Dumitran, D., Roy, D.M., Leu, T., Beebee, W.S.: Enhancing server availability and security through failure-oblivious computing. In: Proc. Symposium on Operating Systems Design & Implementation (OSDI), pp. 303\u2013316 (2004)"},{"key":"8_CR70","first-page":"406","volume-title":"Proc. Int\u2019l Conf. Software Engineering (ICSE)","author":"M. Robillard","year":"2002","unstructured":"Robillard, M., Murphy, G.C.: Concern graphs: Finding and describing concerns using structural program dependencies. In: Proc. Int\u2019l Conf. Software Engineering (ICSE), pp. 406\u2013416. ACM, New York (2002)"},{"key":"8_CR71","volume-title":"Plato\u2019s Theory of Ideas","author":"S.D. Ross","year":"1951","unstructured":"Ross, S.D.: Plato\u2019s Theory of Ideas. Oxford University Press, Oxford (1951)"},{"key":"8_CR72","volume-title":"Concepts, Techniques, and Models of Computer Programming","author":"P.V. Roy","year":"2004","unstructured":"Roy, P.V., Haridi, S.: Concepts, Techniques, and Models of Computer Programming. MIT Press, Cambridge (2004)"},{"key":"8_CR73","first-page":"239","volume-title":"Expert systems","author":"E. Sandewall","year":"1990","unstructured":"Sandewall, E.: Nonmonotonic inference rules for multiple inheritance with exceptions. In: Expert systems, pp. 239\u2013247. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"8_CR74","first-page":"23","volume-title":"Proc. Symp. Principles of Programming Languages (POPL)","author":"B.C. Smith","year":"1984","unstructured":"Smith, B.C.: Reflection and semantics in LISP. In: Proc. Symp. Principles of Programming Languages (POPL), pp. 23\u201335. ACM, New York (1984)"},{"key":"8_CR75","first-page":"200","volume-title":"Proc. Conf. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)","author":"R. Stata","year":"1995","unstructured":"Stata, R., Guttag, J.V.: Modular reasoning in the presence of subclassing. In: Proc. Conf. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), pp. 200\u2013214. ACM, New York (1995)"},{"key":"8_CR76","doi-asserted-by":"crossref","unstructured":"Steele, G.L.: Debunking the \u201cexpensive procedure call\u201d myth or, procedure call implementations considered harmful or, LAMDBA: The ultimate GOTO. Technical report, Massachusetts Institute of Technology (1977)","DOI":"10.1145\/800179.810196"},{"key":"8_CR77","unstructured":"Sternberg, R.: Cognitive Psychology. Thomson Wadsworth (2008)"},{"key":"8_CR78","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge (1977)"},{"key":"8_CR79","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2006.156","volume":"39","author":"A.S. Tanenbaum","year":"2006","unstructured":"Tanenbaum, A.S., Herder, J.N., Bos, H.: Can we make operating systems reliable and secure? Computer\u00a039, 44\u201351 (2006)","journal-title":"Computer"},{"key":"8_CR80","first-page":"107","volume-title":"Proc. Int\u2019l Conf. Software Engineering (ICSE)","author":"P. Tarr","year":"1999","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton Jr., S.M.: N degrees of separation: Multi-dimensional separation of concerns. In: Proc. Int\u2019l Conf. Software Engineering (ICSE), pp. 107\u2013119. IEEE Computer Society, Los Alamitos (1999)"},{"issue":"1","key":"8_CR81","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput.\u00a0115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","ECOOP 2011 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22655-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T22:31:10Z","timestamp":1560378670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22655-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226540","9783642226557"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22655-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}