{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T23:54:17Z","timestamp":1778716457957,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540229407","type":"print"},{"value":"9783540286448","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-28644-8_14","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:48:13Z","timestamp":1267109293000},"page":"209-224","source":"Crossref","is-referenced-by-count":14,"title":["\u03bcABC: A Minimal Aspect Calculus"],"prefix":"10.1007","author":[{"given":"Glenn","family":"Bruns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radha","family":"Jagadeesan","sequence":"additional","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":"14_CR1","unstructured":"AspectJ website. http:\/\/www.eclipse.org\/aspectj\/"},{"key":"14_CR2","doi-asserted-by":"publisher","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":"14_CR3","unstructured":"Aksit, M., Wakita, K., Bosch, J., Bergmans, L., Yonezawa, A.: Abstracting object-interactions using composition-filters. In: Object-based distributed processing, LNCS (1993)"},{"key":"14_CR4","unstructured":"Association of Computing Machinery. Communications of the ACM (October 2001)"},{"key":"14_CR5","unstructured":"Bauer, L., Ligatti, J., Walker, D.: A calculus for composing security policies. Technical Report TR-655-02, Dept. of Computer Science, Princeton University (2002)"},{"issue":"9","key":"14_CR6","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE\u00a079(9), 1270\u20131282 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"14_CR7","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":"14_CR8","unstructured":"Bierman, G.M., Parkinson, M.J., Pitts, A.M.: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory (April 2003)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Bruns, G., Jagadeesan, R., Jeffrey, A., Riely, J.: \u03bcABC: A minimal aspect calculus. Full version (2004), available at: http:\/\/fpl.cs.depaul.edu\/ajeffrey\/papers\/muABCfull.pdf","DOI":"10.1007\/978-3-540-28644-8_14"},{"key":"14_CR10","unstructured":"Clifton, C., Leavens, G.T., Wand, M.: Parameterized aspect calculus: A core calculus for the direct study of aspect-oriented languages (October 2003), Submitted for publication at: ftp:\/\/ftp.ccs.neu.edu\/pub\/people\/wand\/papers\/clw-03.pdf"},{"key":"14_CR11","unstructured":"Dantas, D.S., Walker, D.: Aspects, information hiding and modularity (2003), submitted for publication at: http:\/\/www.cs.princeton.edu\/~dpw\/papers\/aspectml-nov03.pdf"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Dufour, B., Goard, C., Hendren, L., Verbrugge, C., de\u00a0Moor, O., Sittampalam, G.: Measuring the dynamic behaviour of AspectJ programs (2003)","DOI":"10.1145\/1028976.1028990"},{"key":"14_CR13","unstructured":"Filman, R., Friedman, D.: Aspect-oriented programming is quantification and obliviousness (2000)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: ACM Symposium on Principles of Programming Languages (POPL), pp. 171\u2013183 (1998)","DOI":"10.1145\/268946.268961"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., Levy, J.-J., Maranget, L., Remy, D.: A claculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"key":"14_CR16","series-title":"Int. Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Int. Series in Computer Science. Prentice Hall, Englewood Cliffs (1985)"},{"issue":"3","key":"14_CR17","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Jagadeesan, R., Jeffrey, A., Riely, J.: A typed calculus for aspect-oriented programs (2003), Submitted for publication at: http:\/\/fpl.cs.depaul.edu\/ajeffrey\/papers\/typedABL.pdf","DOI":"10.1007\/978-3-540-45070-2_4"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","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":"14_CR20","unstructured":"Kiczales, G., Coady, Y.: http:\/\/www.cs.ubc.ca\/labs\/spl\/projects\/aspectc.html"},{"key":"14_CR21","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":"14_CR22","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":"14_CR23","unstructured":"Lieberherr, K.J.: Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company (1996)"},{"key":"14_CR24","unstructured":"Lopes, C.V.: D: A Language Framework for Distributed Programming. Ph.d. thesis, Northestern University (1997), ftp:\/\/ftp.ccs.neu.edu\/pub\/people\/lieber\/theses\/lopes\/dissertation.pdf"},{"key":"14_CR25","doi-asserted-by":"crossref","first-page":"107","DOI":"10.7551\/mitpress\/2087.003.0007","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"S. Matsuoka","year":"1993","unstructured":"Matsuoka, S., Yonezawa, A.: Analysis of inheritance anomaly in object-oriented concurrent programming languages. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Research Directions in Concurrent Object-Oriented Programming, pp. 107\u2013150. MIT Press, Cambridge (1993)"},{"key":"14_CR26","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-58041-3_6","volume-title":"Logic and Algebra of Specification","author":"R. Milner","year":"1993","unstructured":"Milner, R.: The polyadic \u03c0-calculus: A tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification, pp. 203\u2013246. Springer, Heidelberg (1993)"},{"issue":"1","key":"14_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Information and Computation\u00a0100(1), 1\u201340 (1992)","journal-title":"Information and Computation"},{"key":"14_CR28","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":"14_CR29","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"Plotkin, G.: Call-by-name, call-by-value, and the \u03bb-calculus. Theoretical Computer Science\u00a01, 125\u2013159 (1975)","journal-title":"Theoretical Computer Science"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Tucker, D., Krishnamurthi, S.: Pointcuts and advice in higher-order languages. In: Conference Record of AOSD 2003: The 2nd International Conference on Aspect Oriented Software Development (2003)","DOI":"10.1145\/643603.643620"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Walker, D., Zdancewic, S., Ligatti, J.: A theory of aspects. In: Conference Record of ICFP 2003: The ACM SIGPLAN International Conference on Functional Programming (2003)","DOI":"10.1145\/944705.944718"},{"key":"14_CR32","unstructured":"Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. In: TOPLAS (to appear, 2003)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2004 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28644-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,24]],"date-time":"2024-03-24T09:12:20Z","timestamp":1711271540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28644-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229407","9783540286448"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28644-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}