{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:51:48Z","timestamp":1725731508298},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396137"},{"type":"electronic","value":"9783642396144"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39614-4_5","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T00:02:56Z","timestamp":1371081776000},"page":"65-80","source":"Crossref","is-referenced-by-count":2,"title":["Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"S\u00e1nchez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/2162049.2162065","volume-title":"AOSD \u201912: Proceedings of the 11th annual international conference on Aspect-oriented Software Development","author":"S. Akai","year":"2012","unstructured":"Akai, S., Chiba, S.: Method shelters: avoiding conflicts among class extensions caused by local rebinding. In: AOSD \u201912: Proceedings of the 11th annual international conference on Aspect-oriented Software Development, pp. 131\u2013142. ACM Press, New York (2012)"},{"key":"5_CR2","first-page":"5","volume-title":"FOAL \u201910: Workshop on Foundations of Aspect-Oriented Languages workshop","author":"M. Bagherzadeh","year":"2010","unstructured":"Bagherzadeh, M., Rajan, H., Leavens, G.T.: Translucid contracts for aspect-oriented interfaces. In: FOAL \u201910: Workshop on Foundations of Aspect-Oriented Languages workshop, March 2010, pp. 5\u201314 (2010)"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/1960275.1960293","volume-title":"AOSD \u201911: Proceedings of the 10th International Conference on Aspect-oriented Software Development","author":"M. Bagherzadeh","year":"2011","unstructured":"Bagherzadeh, M., Rajan, H., Leavens, G.T., Mooney, S.: Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. In: Proceedings of the 10th International Conference on Aspect-oriented Software Development, AOSD \u201911, pp. 141\u2013152. ACM, New York (2011)"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/1960275.1960291","volume-title":"AOSD \u201911: Proceedings of the 10th International Conference on Aspect-oriented Software Development","author":"E. Bodden","year":"2011","unstructured":"Bodden, E.: Closure Joinpoints: Block joinpoints without surprises. In: Proceedings of the 10th International Conference on Aspect-oriented Software Development, AOSD \u201911, pp. 117\u2013128. ACM, New York (2011)"},{"doi-asserted-by":"crossref","unstructured":"Eric Bodden, \u00c9ric Tanter, and Milton Inostroza. Joint point interfaces for safe and flexible decoupling of aspects. ACM Transactions on Software Engineering and Methodology (TOSEM), To appear (2013)","key":"5_CR5","DOI":"10.1145\/2559933"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/2162010.2162020","volume-title":"FOAL \u201912: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages","author":"R.D. Fernando","year":"2012","unstructured":"Fernando, R.D., Dyer, R., Rajan, H.: Event type polymorphism. In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL \u201912, pp. 33\u201338. ACM, New York (2012)"},{"issue":"10","key":"5_CR7","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. Communications of the ACM\u00a012(10), 576\u2013580, 583 (1969)","journal-title":"Communications of the ACM"},{"key":"5_CR8","first-page":"508","volume-title":"ESEC\/FSE \u201911: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"M. Inostroza","year":"2011","unstructured":"Inostroza, M., Tanter, \u00c9., Bodden, E.: Join point interfaces for modular reasoning in aspect-oriented programs. In: ESEC\/FSE \u201911: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 508\u2013511 (2011)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1233843.1233848","volume-title":"SPLAT \u201907: Proceedings of the 5th workshop on Engineering properties of languages and aspect technologies","author":"R. Khatchadourian","year":"2007","unstructured":"Khatchadourian, R., Soundarajan, N.: Rely-guarantee approach to reasoning about aspect-oriented programs. In: SPLAT \u201907: Proceedings of the 5th workshop on Engineering properties of languages and aspect technologies, Vancouver, British Columbia, Canada, p. 5. ACM Press, New York (2007)"},{"key":"5_CR10","first-page":"49","volume-title":"Proc. of the 27th International Conference on Software Engineering","author":"G. Kiczales","year":"2005","unstructured":"Kiczales, G., Mezini, M.: Aspect-oriented programming and modular reasoning. In: Proc. of the 27th International Conference on Software Engineering, pp. 49\u201358. ACM Press, New York (2005)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1119655.1119664","volume-title":"Proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD)","author":"N. Ongkingco","year":"2006","unstructured":"Ongkingco, N., Avgustinov, P., Tibble, J., Hendren, L., de Moor, O., Sittampalam, G.: Adding open modules to AspectJ. In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD), March 2006, pp. 39\u201350 (2006)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-70592-5_8","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"H. Rajan","year":"2008","unstructured":"Rajan, H., Leavens, G.T.: Ptolemy: A language with quantified, typed events. In: Ryan, M. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 155\u2013179. Springer, Heidelberg (2008)"},{"key":"5_CR13","first-page":"351","volume-title":"International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"S.M. Shaner","year":"2007","unstructured":"Shaner, S.M., Leavens, G.T., Naumann, D.A.: Modular verification of higher-order methods with mandatory calls specified by model programs. In: International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Montreal, Canada, October 2007, pp. 351\u2013367. ACM Press, New York (2007)"},{"key":"5_CR14","volume-title":"Understanding Z: a Specification Language and its Formal Semantics","author":"J.M. Spivey","year":"1988","unstructured":"Spivey, J.M.: Understanding Z: a Specification Language and its Formal Semantics. Cambridge University Press, New York (1988)"},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1767751.1767752","volume":"1","author":"F. Steimann","year":"2010","unstructured":"F. Steimann, T. Pawlitzki, S. Apel, C. K\u00e4stner. Types and modularity for implicit invocation with implicit announcement. ACM Trans. Softw. Eng. Methodol., 1:1\u20131:43 (2010)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1824760.1824762","volume":"5","author":"K. Sullivan","year":"2010","unstructured":"Sullivan, K., Griswold, W.G., Rajan, H., Song, Y., Cai, Y., Shonle, M., TewariModular, N.: aspect-oriented design with xpis. ACM Trans. Softw. Eng. Methodol., 5:1\u20135:42 (September 2010)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39614-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,25]],"date-time":"2022-02-25T00:14:10Z","timestamp":1645748050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39614-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396137","9783642396144"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39614-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}