{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T18:47:56Z","timestamp":1791053276619,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540279921","type":"print"},{"value":"9783540317258","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11531142_7","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T12:28:49Z","timestamp":1292848129000},"page":"144-168","source":"Crossref","is-referenced-by-count":127,"title":["Open Modules: Modular Reasoning About Advice"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Aldrich","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Aldrich, J.: Open Modules: Modular Reasoning about Advice. Carnegie Mellon Technical Report CMU-ISRI-04-141 (Dececember 2004), available at, http:\/\/www.cs.cmu.edu\/aldrich\/aosd\/","DOI":"10.21236\/ADA456038"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bobrow, D.G., DiMichiel, L.G., Gabriel, R.P., Keene, S.E., Kiczales, G., Moon, D.A.: Common Lisp Object System Specification. In: SIGPLAN Notices, September 1988, vol.\u00a023 (1988)","DOI":"10.1145\/885631.885632"},{"key":"7_CR3","unstructured":"Bracha, G.: The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. Thesis, Dept. of Computer Science, University of Utah (1992)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"A. Clement","year":"2003","unstructured":"Clement, A., Colyer, A., Kersten, M.: Aspect-Oriented Programming with AJDT. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"7_CR5","unstructured":"Clifton, C., Leavens, G.T.: Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning. In: Foundations of Aspect Languages (April 2002)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Clifton, C., Leavens, G.T., Chambers, C., Millstein, T.: MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java. In: Object-Oriented Programming Systems, Languages, and Applications (October 2000)","DOI":"10.1145\/353171.353181"},{"key":"7_CR7","unstructured":"Dantas, D.S., Walker, D.: Aspects, Information Hiding and Modularity. Princeton University Technical Report TR-696-04 (2004)"},{"key":"7_CR8","unstructured":"Filman, R.E., Friedman, D.P.: Aspect-Oriented Programming is Quantification and Obliviousness. In: Advanced Separation of Concerns (October 2000)"},{"key":"7_CR9","unstructured":"Gudmundson, S., Kiczales, G.: Addressing Practical Software Development Issues in AspectJ with a Pointcut Interface. In: Advanced Separation of Concerns (July 2001)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_4","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"R. Jagadeesan","year":"2003","unstructured":"Jagadeesan, R., Jeffrey, A., Riely, J.: An Untyped Calculus of Aspect-Oriented Programs. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, p. 327. Springer, Heidelberg (2001)"},{"key":"7_CR12","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., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"7_CR13","unstructured":"Koppen, C., Stoerzer, M.: PCDiff: Attacking the Fragile Pointcut Problem. In: European Interactive Workshop on Aspects in Software (September 2004)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying Aspect Advice Modularly. In: Foundations of Software Engineering (November 2004)","DOI":"10.1145\/1029894.1029916"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R.: A Semantical Approach to Method-Call Interception. In: Aspect-Oriented Software Development (April 2002)","DOI":"10.1145\/508386.508392"},{"issue":"5","key":"7_CR16","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/46.5.542","volume":"46","author":"K. Lieberherr","year":"2003","unstructured":"Lieberherr, K., Lorenz, D.H., Ovlinger, J.: Aspectual Collaborations: Combining Modules and Aspects. The Computer Journal\u00a046(5), 542\u2013565 (2003)","journal-title":"The Computer Journal"},{"key":"7_CR17","volume-title":"Communicating and Mobile Systems: The \u00f0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u00f0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"7_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML (Revised). MIT Press, Cambridge (1997)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Walker, D., Zdancewic, S., Ligatti, J.: A Theory of Aspects. In: International Conference on Functional Programming (2003)","DOI":"10.1145\/944705.944718"},{"issue":"5","key":"7_CR20","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1145\/1018203.1018208","volume":"26","author":"M. Wand","year":"2004","unstructured":"Wand, M., Kiczales, G., Dutchyn, C.: A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. Transactions on Programming Languages and Systems\u00a026(5), 890\u2013910 (2004)","journal-title":"Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2005 - Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11531142_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:50Z","timestamp":1605625730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11531142_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540279921","9783540317258"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11531142_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}