{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:59:02Z","timestamp":1725505142580},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787884"},{"type":"electronic","value":"9783540787891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78789-1_18","type":"book-chapter","created":{"date-parts":[[2008,3,12]],"date-time":"2008-03-12T10:58:17Z","timestamp":1205319497000},"page":"231-247","source":"Crossref","is-referenced-by-count":0,"title":["Composing Safely \u2014 A Type System for Aspects"],"prefix":"10.1007","author":[{"given":"Florian","family":"Kamm\u00fcller","sequence":"first","affiliation":[]},{"given":"Henry","family":"Sudhof","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_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":"18_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Theoretical Aspects of Computer Software","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Cardelli, L.: A Theory of Primitive Objects. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol.\u00a0789, Springer, Heidelberg (1994)"},{"key":"18_CR3","volume-title":"Principles of Programming Languages, POPL 2007","author":"P. Avgustinov","year":"2007","unstructured":"Avgustinov, P., et al.: Semantics of Static Pointcuts in Aspect. In: Principles of Programming Languages, POPL 2007, ACM Press, New York (2007)"},{"key":"18_CR4","volume-title":"Principles of Programming Languages, POPL 2008","author":"B. Aydemir","year":"2008","unstructured":"Aydemir, B., Chargu\u00e9raud, A., Pierce, B.C., Pollack, R., Weirich, S.: Engineering Formal Metatheory. In: Principles of Programming Languages, POPL 2008, ACM Press, New York (2008)"},{"key":"18_CR5","volume-title":"The Lambda Calculus, its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus, its Syntax and Semantics, 2nd edn. North-Holland, Amsterdam (1984)","edition":"2"},{"key":"18_CR6","unstructured":"Clifton, C., Leavens, G.: Minimao: Investigating the semantics of proceed. In: Foundations of Aspect-Oriented Languages, FOAL 2005 (2005)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-006-9061-y","volume":"39","author":"A. Ciaffaglione","year":"2007","unstructured":"Ciaffaglione, A., Liquori, L., Miculan, M.: Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts. Journal of Automated Reasoning\u00a039, 1\u201347 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"18_CR8","unstructured":"Filman, R., Friedman, D.: Aspect-Oriented Programming is Quantification and Obliviousness. In: Workshop on Advanced Separation of Concerns, OOPSLA 2000, October 2000, Minneapolis, USA (2000)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72952-5_12","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Henrio","year":"2007","unstructured":"Henrio, L., Kamm\u00fcller, F.: A Mechanized Model of the Theory of Objects. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, Springer, Heidelberg (2007)"},{"key":"18_CR10","unstructured":"J\u00e4hnichen, S., Kamm\u00fcller, F.: Ascot: Formal, mechanical foundation of aspect-oriented and collaboration-based languages. DFG (2006), Web-page at, http:\/\/swt.cs.tu-berlin.de\/~flokam\/ascot\/index.html"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Jagadeesan, R., Jeffrey, A., Riely, J.: Typed Parametric Polymorphism for Aspects. In [17], 267\u2013296","DOI":"10.1016\/j.scico.2006.02.008"},{"key":"18_CR12","unstructured":"Kamm\u00fcller, F.: Interactive Theorem Proving in Software Engineering. Habilitationsschrift (habilitation thesis), Technische Universit\u00e4t Berlin (2006)"},{"key":"18_CR13","unstructured":"Kamm\u00fcller, F., V\u00f6sgen, M.: Towards Type Safety of Aspect-Oriented Languages. In: Foundations of Aspect-Oriented Languages, FOAL 2006 (2006)"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Ligatti, J., Walker, D., Zdancewic, S.: A type-theoretic interpretation of pointcuts and advice. In [17], pp. 240\u2013266","DOI":"10.1016\/j.scico.2006.01.004"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle","author":"L.C. Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle. LNCS, vol.\u00a0828. Springer, Heidelberg (1994)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1023\/A:1006496715975","volume":"26","author":"T. Nipkow","year":"2001","unstructured":"Nipkow, T.: More Church Rosser Proofs. Journal of Automated Reasoning\u00a026, 51\u201366 (2001)","journal-title":"Journal of Automated Reasoning"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Science of Computer Programming: Special Issue on Foundations of Aspect-Oriented Programming. vol. 63(3), Elsevier (2006)","DOI":"10.1016\/j.scico.2006.07.001"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"18_CR19","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Deduction \u2013 CADE-20","author":"C. Urban","year":"2005","unstructured":"Urban, C., Tasson, C.: Nominal Techniques in Isabelle\/HOL. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol.\u00a03632, Springer, Heidelberg (2005)"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. Wright","year":"1994","unstructured":"Wright, A., Felleisen, M.: A Syntactic Approach to Type Soundness. Information and Computation\u00a0115, 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78789-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:22:17Z","timestamp":1619522537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78789-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787884","9783540787891"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78789-1_18","relation":{},"subject":[]}}