{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:41:25Z","timestamp":1725518485404},"publisher-location":"Dordrecht","reference-count":13,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402088889"},{"type":"electronic","value":"9781402088896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-1-4020-8889-6_10","type":"book-chapter","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T16:40:42Z","timestamp":1221324042000},"page":"87-95","source":"Crossref","is-referenced-by-count":0,"title":["Compositionality of Aspect Weaving"],"prefix":"10.1007","author":[{"given":"Florian","family":"Kamm\u00fcller","sequence":"first","affiliation":[]},{"given":"Henry","family":"Sudhof","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1_10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Springer, New York, 1996."},{"key":"10_CR2_10","unstructured":"H. P. Barendregt. The Lambda Calculus, its Syntax and Semantics. North-Holland, 1984."},{"key":"10_CR3_10","doi-asserted-by":"crossref","unstructured":"L. Henrio and F. Kamm \u00fcller. A Mechanized Model of the Theory of Objects. 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS\u201907. LNCS 4468, Springer, 2007.","DOI":"10.1007\/978-3-540-72952-5_12"},{"key":"10_CR4_10","unstructured":"S. J \u00e4hnichen and F. Kamm \u00fcller. Ascot: Formal, Mechanical Foundation of Aspect-Oriented and Collaboration-Based Languages. Web-page at http:\/\/swt.cs.tu-berlin.de\/ \u223c flokam\/ascot\/index.html Project with the German Research Foundation (DFG), 2006."},{"key":"10_CR5_10","unstructured":"F. Kamm \u00fcller. Exploring New OO-Paradigms in HOL: Aspects and Collaborations. Theorem Proving for Higher Order Logics, TPHOLs\u201905, Emerging trends. Technical Report PRG-RR05-02, Oxford University, 2005."},{"key":"10_CR6_10","volume-title":"Interactive Theorem Proving in Software Engineering","author":"F. Kamm \u00fcller","year":"2006","unstructured":"F. Kamm \u00fcller. Interactive Theorem Proving in Software Engineering. Habilitationsschrift (habilitation thesis), Technische Universit \u00e4t Berlin, 2006."},{"key":"10_CR7_10","unstructured":"F. Kamm \u00fcller and H. Sudhof. A Mechanized Framework for Aspects in Isabelle\/HOL. 2nd ACM SIGPLAN Workshop on Mechanizing Metatheory, 2007."},{"key":"10_CR8_10","unstructured":"F. Kamm \u00fcller and H. Sudhof. Composing Safely - A Type System for Aspects. 7th International Symposium on Software Composition, SC\u201908. Satellite to ETAPS\u201908. LNCS 4954, Springer 2008."},{"key":"10_CR9_10","unstructured":"F. Kamm \u00fcller and M. V \u00f6sgen. Towards Type Safety of Aspect-Oriented Languages. In Foundations of Aspect-Oriented Languages, AOSD\u201906, 2006."},{"key":"10_CR10_10","doi-asserted-by":"crossref","unstructured":"J. Ligatti, D. Walker, and S. Zdancewic. A type-theoretic interpretation of pointcuts and advice. Science of Computer Programming: Special Issue on Foundations of Aspect-Oriented Programming. Springer 2006.","DOI":"10.1016\/j.scico.2006.01.004"},{"key":"10_CR11_10","doi-asserted-by":"crossref","unstructured":"T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle\/HOL - A Proof Assistant for Higher-Order Logic, LNCS 2283, Springer 2002.","DOI":"10.1007\/3-540-45949-9"},{"key":"10_CR12_10","unstructured":"The POPLmark challenge. http:\/\/alliance.seas.upenn.edu\/\u223cplclub\/cgi-bin\/ poplmark . July 2007."},{"key":"10_CR13_10","unstructured":"C. Urban et al. Nominal Methods Group. Project funded by the German Research Foundation (DFG) within the Emmy-Noether Programme, 2006."}],"container-title":["Autonomous Systems \u2013 Self-Organization, Management, and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8889-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T22:24:24Z","timestamp":1605651864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8889-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9781402088889","9781402088896"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8889-6_10","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}