{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:06:44Z","timestamp":1725566804009},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235804"},{"type":"electronic","value":"9783540301752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30175-2_2","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T15:34:58Z","timestamp":1285256098000},"page":"19-38","source":"Crossref","is-referenced-by-count":1,"title":["Splice: Aspects That Analyze Programs"],"prefix":"10.1007","author":[{"given":"Sean","family":"McDirmid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilson C.","family":"Hsieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89\u2013147 (1988)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis by construction and approximation of fixpoints. In: Proc. of POPL, January 1977, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"issue":"4","key":"2_CR3","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficient computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems\u00a013(4), 84\u201397 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Dawson, S., Ramakrishnan, C.R., Warren, D.S.: Practical program analysis using general logic programming systems - a case study. In: Proc. of PLDI, June 1996, pp. 117\u2013126 (1996)","DOI":"10.1145\/231379.231399"},{"key":"2_CR5","unstructured":"De Volder, K.: Type-oriented logic meta programming. PhD Thesis (2001)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Drape, S., de Moor, O., Sittampalam, G.: Transforming the.NET intermediate language using path logic programming. In: Proc. of PPDP (October 2002)","DOI":"10.1145\/571157.571171"},{"key":"2_CR7","unstructured":"Engler, D.R.: Incorporating application semantics and control into compilation. In: Proc. of DSL, pp. 103\u2013118 (October 1997)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Guyer, S.Z., Lin, C.: An annotation language for optimizing software libraries. In: Proc. of DSL (October 1999)","DOI":"10.1145\/331960.331970"},{"key":"2_CR9","unstructured":"Kiczales, G.: The fun has just begun, Presentation at AOSD (March 2003)"},{"key":"2_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., Hilsdale, E., Hungunin, J., Kersten, M., Palm, J., Griswold, W.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, p. 327. Springer, Heidelberg (2001)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Lieberherr, K., Lorenz, D.H., Wu, P.: A case for statically executable advice: Checking the Law of Demeter with AspectJ. In: Proc. of AOSD (March 2003)","DOI":"10.1145\/643603.643608"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Masuhara, H., Kawauchi, K.: Dataflow pointcut in aspect-oriented programming. In: Proc. of APLAS (November 2003)","DOI":"10.1007\/978-3-540-40018-9_8"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.: On the declarative semantics of deductive database and logic programs. In: Foundations of Deductive Databases and Logic Programming, pp. 193\u2013216 (1988)","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Sittampalam, G., de Moor, O., Larsen, K.F.: Incremental execution of transformation specifications. In: Proc. of POPL (January 2004)","DOI":"10.1145\/964001.964004"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Wuyts, R.: Declarative reasoning about the structure of object-oriented systems. In: Proc. of TOOLS USA, pp. 112\u2013124 (1998)","DOI":"10.1109\/TOOLS.1998.711007"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30175-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:52:39Z","timestamp":1619999559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30175-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235804","9783540301752"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30175-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}