{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:04Z","timestamp":1750308124067,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,1,9]],"date-time":"2006-01-09T00:00:00Z","timestamp":1136764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,1,9]]},"DOI":"10.1145\/1111542.1111555","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T15:52:40Z","timestamp":1139241160000},"page":"78-87","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Type-directed weaving of aspects for higher-order functional languages"],"prefix":"10.1145","author":[{"given":"Meng","family":"Wang","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kung","family":"Chen","sequence":"additional","affiliation":[{"name":"National Chengchi University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siau-Cheng","family":"Khoo","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,1,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507653"},{"key":"e_1_3_2_1_2_1","unstructured":"Aspectwerkz project. http:\/\/aspectwerkz.codehaus.org.  Aspectwerkz project. http:\/\/aspectwerkz.codehaus.org."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. Concur","author":"Bruns G.","year":"2004","unstructured":"G. Bruns , R. Jagadeesan , A. Jeffrey , and J. Riely . μabc: A minimal aspect calculus . In Proc. Concur . Springer-Verlag , 2004 . G. Bruns, R. Jagadeesan, A. Jeffrey, and J. Riely. μabc: A minimal aspect calculus. In Proc. Concur. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the Foundations of Aspect-Oriented Languages","author":"Clifton C.","year":"2005","unstructured":"C. Clifton and G. Leavens . Minimao: Investigating the semantics of proceed . In Proceedings of the Foundations of Aspect-Oriented Languages , 2005 . C. Clifton and G. Leavens. Minimao: Investigating the semantics of proceed. In Proceedings of the Foundations of Aspect-Oriented Languages, 2005."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086404"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/258949.258973"},{"key":"e_1_3_2_1_7_1","first-page":"21","volume-title":"Aspect-oriented programming is quantification and obliviousness","author":"Filman R.","year":"2005","unstructured":"R. Filman and D. Friedman . Aspect-oriented programming is quantification and obliviousness . In R. E. Filman, T. Elrad, S. Clarke, and M. Aksit, editors, Aspect-Oriented Software Development, pages 21 -- 35 . Addison-Wesley , Boston, 2005 . R. Filman and D. Friedman. Aspect-oriented programming is quantification and obliviousness. In R. E. Filman, T. Elrad, S. Clarke, and M. Aksit, editors, Aspect-Oriented Software Development, pages 21--35. Addison-Wesley, Boston, 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242477"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_4"},{"key":"e_1_3_2_1_10_1","unstructured":"Jboss aop project. http:\/\/www.jboss.org\/products\/aop.  Jboss aop project. http:\/\/www.jboss.org\/products\/aop."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351267"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_13_1","first-page":"220","volume-title":"Proceedings European Conference on Object-Oriented Programming","author":"Kiczales G.","year":"1997","unstructured":"G. Kiczales , J. Lamping , A. Menhdhekar , C. Maeda , C. Lopes , J. Loingtier , and J. Irwin . Aspect-oriented programming . In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming , volume 1241 , pages 220 -- 242 , Springer-Verlag , Berlin, Heidelberg , and New York, 1997 . G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220--242, Springer-Verlag, Berlin, Heidelberg, and New York, 1997."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016883"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086405"},{"key":"e_1_3_2_1_17_1","first-page":"53","volume-title":"CRPITS '02: Proceedings of the Fortieth International Confernece on Tools Pacific","author":"Spinczyk O.","year":"2002","unstructured":"O. Spinczyk , A. Gal , and W. Schr\u00f6der-Preikschat . Aspectc++: an aspect-oriented extension to the c++ programming language . In CRPITS '02: Proceedings of the Fortieth International Confernece on Tools Pacific , pages 53 -- 60 , Darlinghurst, Australia, Australia , 2002 . Australian Computer Society, Inc. O. Spinczyk, A. Gal, and W. Schr\u00f6der-Preikschat. Aspectc++: an aspect-oriented extension to the c++ programming language. In CRPITS '02: Proceedings of the Fortieth International Confernece on Tools Pacific, pages 53--60, Darlinghurst, Australia, Australia, 2002. Australian Computer Society, Inc."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643620"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944718"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1018203.1018208"}],"event":{"name":"PEPM06: Partial Evaluation and Program Manipulation 2006","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Charleston South Carolina","acronym":"PEPM06"},"container-title":["Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1111542.1111555","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1111542.1111555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:23Z","timestamp":1750262903000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1111542.1111555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,9]]},"references-count":21,"alternative-id":["10.1145\/1111542.1111555","10.1145\/1111542"],"URL":"https:\/\/doi.org\/10.1145\/1111542.1111555","relation":{},"subject":[],"published":{"date-parts":[[2006,1,9]]},"assertion":[{"value":"2006-01-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}