{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T13:28:54Z","timestamp":1791120534835,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705918","type":"print"},{"value":"9783540705925","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70592-5_8","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"155-179","source":"Crossref","is-referenced-by-count":79,"title":["Ptolemy: A Language with Quantified, Typed Events"],"prefix":"10.1007","author":[{"given":"Hridesh","family":"Rajan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"6","key":"8_CR1","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/291252.288312","volume":"23","author":"J. Dingel","year":"1998","unstructured":"Dingel, J., Garlan, D., Jha, S., Notkin, D.: Reasoning about implicit invocation. SIGSOFT Software Engineering Notes\u00a023(6), 209\u2013221 (1998)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-54834-3_5","volume-title":"VDM \u201991","author":"D. Garlan","year":"1991","unstructured":"Garlan, D., Notkin, D.: Formalizing design spaces: Implicit invocation mechanisms. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol.\u00a0551, pp. 31\u201344. Springer, Heidelberg (1991)"},{"issue":"9","key":"8_CR3","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C., Vera, J.: An event-based architecture definition language. IEEE Trans. Softw. Eng.\u00a021(9), 717\u2013734 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Notkin, D., Garlan, D., Griswold, W.G., Sullivan, K.J.: Adding implicit invocation to languages: Three approaches. In: JSSST International Symposium on Object Technologies for Advanced Software, pp. 489\u2013510 (1993)","DOI":"10.1007\/3-540-57342-9_91"},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/52.56450","volume":"7","author":"S.P. Reiss","year":"1990","unstructured":"Reiss, S.P.: Connecting tools using message passing in the Field environment. IEEE Softw.\u00a07(4), 57\u201366 (1990)","journal-title":"IEEE Softw."},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/131736.131744","volume":"1","author":"K.J. Sullivan","year":"1992","unstructured":"Sullivan, K.J., Notkin, D.: Reconciling environment integration and software evolution. ACM Transactions on Software Engineering and Methodology\u00a01(3), 229\u2013268 (1992)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR7","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., Menhdhekar, A., Maeda, C., Lopes, C., 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":"8_CR8","doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.: N degrees of separation: Multi-dimensional separation of concerns. In: ICSE 1999 (1999)","DOI":"10.1145\/302405.302457"},{"key":"8_CR9","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Publishing Co., Inc, Reading (1995)"},{"key":"8_CR10","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., et al.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/11531142_9","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"G. Kiczales","year":"2005","unstructured":"Kiczales, G., Mezini, M.: Separation of concerns with procedures, annotations, advice and pointcuts. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 195\u2013213. Springer, Heidelberg (2005)"},{"key":"8_CR12","volume-title":"Aspect-Oriented Software Development","year":"2005","unstructured":"Filman, R.E., Elrad, T., Clarke, S., Ak\u015fit, M. (eds.): Aspect-Oriented Software Development. Addison-Wesley, Boston (2005)"},{"issue":"10","key":"8_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/383845.383853","volume":"44","author":"T. Elrad","year":"2001","unstructured":"Elrad, T., Filman, R.E., Bader, A.: Aspect-oriented programming: Introduction. Commun. ACM\u00a044(10), 29\u201332 (2001)","journal-title":"Commun. ACM"},{"key":"8_CR14","unstructured":"Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning (2003)"},{"key":"8_CR15","unstructured":"AspectJ Team: The AspectJ programming guide. Version 1.5.3 (2006), http:\/\/eclipse.org\/aspectj"},{"key":"8_CR16","unstructured":"Filman, R.E., Friedman, D.P.: Aspect-oriented programming is quantification and obliviousness. In: Workshop on Advanced Separation of Concerns (OOPSLA 2000 (October 2000)"},{"key":"8_CR17","unstructured":"Rho, T., Kniesl, G., Appeltauer, M.: Fine-grained generic aspects. In: FOAL 2006 (2006)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/978-3-540-30477-7_25","volume-title":"Programming Languages and Systems","author":"M. Eichberg","year":"2004","unstructured":"Eichberg, M., Mezini, M., Ostermann, K.: Pointcuts as functional queries. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 366\u2013381. Springer, Heidelberg (2004)"},{"key":"8_CR19","unstructured":"Douence, R., Fradet, P., Sudholt, M.: Trace-based aspects. Aspect-oriented Software Development, 141\u2013150"},{"key":"8_CR20","unstructured":"Stolz, V., Bodden, E.: Temporal assertions using AspectJ. In: Fifth Workshop on Runtime Verification (RV 2005) (2005)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Stoerzer, M., Graf, J.: Using pointcut delta analysis to support evolution of aspect-oriented software. In: ICSM 2005, pp. 653\u2013656 (2005)","DOI":"10.1109\/ICSM.2005.99"},{"key":"8_CR22","unstructured":"Tourw\u00e9, T., Brichau, J., Gybels, K.: On the existence of the AOSD-evolution paradox. In: SPLAT 2003, Boston (March 2003)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11785477_28","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"A. Kellens","year":"2006","unstructured":"Kellens, A., Mens, K., Brichau, J., Gybels, K.: Managing the evolution of aspect-oriented software with model-based pointcuts. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 501\u2013525. Springer, Heidelberg (2006)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Sullivan, K.J., Griswold, W.G., Song, Y., Cai, Y., Shonle, M., Tewari, N., Rajan, H.: Information hiding interfaces for aspect-oriented design. In: ESEC\/FSE 2005, pp. 166\u2013175 (2005)","DOI":"10.1145\/1081706.1081734"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"W. G. Griswold et al.: Modular software design with crosscutting interfaces. IEEE Software (January\/ February 2006)","DOI":"10.1109\/MS.2006.24"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 144\u2013168. Springer, Heidelberg (2005)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Harbulot, B., Gurd, J.R.: A join point for loops in AspectJ. In: AOSD 2006, pp. 63\u201374 (2006)","DOI":"10.1145\/1119655.1119666"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Rajan, H., Sullivan, K.J.: Aspect language features for concern coverage profiling. In: AOSD 2005, pp. 181\u2013191 (2005)","DOI":"10.1145\/1052898.1052914"},{"key":"8_CR29","unstructured":"Altman, R., Cyment, A., Kicillof, N.: On the need for Setpoints. In: European Interactive Workshop on Aspects in Software (2005)"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","first-page":"59","volume-title":"Software Engineering Education in the Modern Age","author":"H. Rajan","year":"2006","unstructured":"Rajan, H., Sullivan, K.J.: Classpects: unifying aspect- and object-oriented language design. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol.\u00a04309, pp. 59\u201368. Springer, Heidelberg (2006)"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Mezini, M., Ostermann, K.: Conquering aspects with Caesar. In: AOSD 2003, pp. 90\u201399 (2003)","DOI":"10.1145\/643603.643613"},{"key":"8_CR32","unstructured":"Clifton, C.: A design discipline and language features for modular reasoning in aspect-oriented programs. Technical Report 05-15, Iowa State University (July 2005)"},{"issue":"3","key":"8_CR33","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.scico.2006.02.009","volume":"63","author":"C. Clifton","year":"2006","unstructured":"Clifton, C., Leavens, G.T.: MiniMAO1: Investigating the semantics of proceed. Science of Computer Programming\u00a063(3), 321\u2013374 (2006)","journal-title":"Science of Computer Programming"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Rajan, H., Sullivan, K.J.: Eos: instance-level aspects for integrated system design. In: ESEC\/FSE 2003, pp. 297\u2013306 (2003)","DOI":"10.1145\/940071.940111"},{"key":"8_CR35","unstructured":"Rajan, H., Leavens, G.T.: Quantified, typed events for improved separation of concerns. Technical Report 07-14c, Iowa State University, Dept. of Computer Sc. (October 2007)"},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-540-73589-2_22","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"C. Clifton","year":"2007","unstructured":"Clifton, C., Leavens, G.T., Noble, J.: MAO: Ownership and effects for more effective reasoning about aspects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 451\u2013475. Springer, Heidelberg (2007)"},{"key":"8_CR37","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-48737-9_7","volume-title":"Formal Syntax and Semantics of Java","author":"M. Flatt","year":"1999","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: A programmer\u2019s reduction semantics for classes and mixins. In: Formal Syntax and Semantics of Java, pp. 241\u2013269. Springer, Heidelberg (1999)"},{"issue":"1","key":"8_CR38","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. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"},{"key":"8_CR39","unstructured":"Eclipse Foundation, http:\/\/www.eclipse.org\/"},{"key":"8_CR40","unstructured":"Rajan, H., Leavens, G.T.: Ptolemy (2007), http:\/\/www.cs.iastate.edu\/~ptolemy\/"},{"key":"8_CR41","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"2005","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis, 2nd printing edn. Springer, Heidelberg (2005)","edition":"2"},{"key":"8_CR42","unstructured":"Clifton, C., Leavens, G.: Observers and assistants: A proposal for modular aspect-oriented reasoning. In: FOAL 2002, pp. 33\u201344 (2002)"},{"key":"8_CR43","doi-asserted-by":"crossref","unstructured":"Dantas, D.S., Walker, D.: Harmless advice. In: POPL 2006, pp. 383\u2013396 (2006)","DOI":"10.1145\/1111037.1111071"},{"key":"8_CR44","doi-asserted-by":"crossref","unstructured":"Steimann, F.: The paradoxical success of aspect-oriented programming. In: OOPSLA 2006, pp. 481\u2013497 (October 2006)","DOI":"10.1145\/1167473.1167514"},{"key":"8_CR45","doi-asserted-by":"crossref","unstructured":"Hanenberg, S., Unland, R.: Parametric introductions. In: AOSD 2003, pp. 80\u201389 (2003)","DOI":"10.1145\/643603.643612"},{"key":"8_CR46","doi-asserted-by":"crossref","unstructured":"Douence, R., Motelet, O., S\u00fcdholt, M.: A formal definition of crosscuts. In: REFLECTION 2001, pp. 170\u2013186 (2001)","DOI":"10.1007\/3-540-45429-2_13"},{"key":"8_CR47","unstructured":"Steimann, F., Pawlitzki, T.: Types and modularity for implicit invocation with implicit announcement. Obtained from the first author (August 2007)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2008 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70592-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:08:29Z","timestamp":1605762509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70592-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705918","9783540705925"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70592-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}