{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T23:54:15Z","timestamp":1778716455361,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540405313","type":"print"},{"value":"9783540450702","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45070-2_4","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T16:23:52Z","timestamp":1289233432000},"page":"54-73","source":"Crossref","is-referenced-by-count":31,"title":["A Calculus of Untyped Aspect-Oriented Programs"],"prefix":"10.1007","author":[{"given":"Radha","family":"Jagadeesan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Jeffrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A theory of objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A theory of objects. Springer, Heidelberg (1996)"},{"key":"4_CR2","series-title":"LNCS","volume-title":"object-based distributed processing","author":"M. Aksit","year":"1993","unstructured":"Aksit, M., Wakita, K., Bosch, J., Bergmans, L., Yonezawa, A.: Abstracting objectinteractions using composition-filters. In: object-based distributed processing. LNCS. Springer, Heidelberg (1993)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45429-2_14","volume-title":"Metalevel Architectures and Separation of Crosscutting Concerns","author":"J. Andrews","year":"2001","unstructured":"Andrews, J.: Process-algebraic foundations of aspectoriented programming. In: Yonezawa, A., Matsuoka, S. (eds.) Reflection 2001. LNCS, vol.\u00a02192, p. 187. Springer, Heidelberg (2001)"},{"key":"4_CR4","unstructured":"Bergmans, L.: Composing Concurrent Objects - Applying Composition Filters for the Development and Reuse of Concurrent Object-Oriented Programs. Ph.d. thesis, University of Twente (1994), http:\/\/wwwhome.cs.utwente.nl\/bergmans\/phd.htm"},{"key":"#cr-split#-4_CR5.1","doi-asserted-by":"crossref","unstructured":"Bruce, K.B., Cardelli, L., Pierce, B.C.: Comparing object encodings. Information and Computation 155 (1999);","DOI":"10.1006\/inco.1999.2829"},{"key":"#cr-split#-4_CR5.2","unstructured":"An extended abstract appeared in Proceedings of TACS 1997. LNCS, vol. 1281, pp. 415-438. Springer, Heidelberg (1997)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/BFb0053376","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"K.B. Bruce","year":"1997","unstructured":"Bruce, K.B., Fiech, A., Petersen, L.: Subtyping is not a good \u201cmatch\u201d for object-oriented languages. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 104\u2013127. Springer, Heidelberg (1997)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bruce, K.B., Fiech, A., Schuett, A., van Gent, R.: A type-safe polymorphic object-oriented language. In: European Conference on Object-Oriented Programming, ECOOP (1995)","DOI":"10.1007\/3-540-49538-X_3"},{"key":"4_CR8","series-title":"LNCS","volume-title":"Proceedings of the 3rd International Conference on Reflection and Crosscutting Concerns","author":"R. Douence","year":"2001","unstructured":"Douence, R., Motelet, O., S\u00fcdholt, M.: A formal definition of crosscuts. In: Proceedings of the 3rd International Conference on Reflection and Crosscutting Concerns. LNCS, Springer, Heidelberg (2001), Long version is http:\/\/www.emn.fr\/info\/recherche\/publications\/RR01\/01-3-INFO.ps.gz"},{"issue":"11","key":"4_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<3::AID-TAPO2>3.0.CO;2-T","volume":"5","author":"S. Drossopoulou","year":"1999","unstructured":"Drossopoulou, S., Eisenbach, S., Khurshid, S.: Is the java type system sound? Theory and Practice of Object Systems\u00a05(11), 3\u201324 (1999)","journal-title":"Theory and Practice of Object Systems"},{"key":"4_CR10","unstructured":"Dutchyn, C., Kiczales, G., Masuhara, H.: http:\/\/www.cs.ubc.ca\/labs\/spl\/projects\/asb.html"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Fisher, K., Reppy, J., Riecke, J.G.: A calculus for compiling and linking classes. In: European Conference on Object-Oriented Programming, ECOOP (2000)","DOI":"10.1007\/3-540-46425-5_9"},{"key":"#cr-split#-4_CR12.1","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: Proceedings of OOPSLA (October 1999);","DOI":"10.1145\/320384.320395"},{"key":"#cr-split#-4_CR12.2","unstructured":"Full version in ACM Transactions on Programming Languages and Systems (TOPLAS) 23(3) (May 2001)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45102-1_7","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"A. Igarashi","year":"2000","unstructured":"Igarashi, A., Pierce, B.C.: On inner classes. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, p. 129. Springer, Heidelberg (2000); Also in informal proceedings of the Seventh International Workshop on Foundations of Object-Oriented Languages (FOOL). To appear in Information and Computation"},{"key":"4_CR14","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, pp. 327\u2013355. Springer, Heidelberg (2001)"},{"key":"4_CR15","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":"4_CR16","unstructured":"Lieberherr, K.J.: Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company (1996)"},{"key":"4_CR17","unstructured":"Masuhara, H., Kiczales, G., Dutchyn, C.: Compilation semantics of aspect-oriented programs"},{"key":"4_CR18","unstructured":"De Meuter, W.: Monads as a theoretical foundation for aop. In: International Workshop on Aspect-Oriented Programming at ECOOP (1997)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Ossher, H., Tarr, P.: Multi-dimensional separation of concerns and the hyperspace approach. In: Proceedings of the Symposium on Software Architectures and Component Technology: The State of the Art in Software Development (2001)","DOI":"10.1007\/978-1-4615-0883-0_10"},{"key":"4_CR20","unstructured":"Walker, D., Zdancewic, S., Ligatti, J.: A theory of aspects (submitted for publication)"},{"key":"4_CR21","unstructured":"Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. Appeared in Informal Workshop Record of FOOL 9, pp. 67-88; also presented at FOAL (Workshop on Foundations of Aspect-Oriented Languages), a satellite event of AOSD 2002 (2002)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2003 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45070-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T00:16:03Z","timestamp":1559780163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45070-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405313","9783540450702"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45070-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}