{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:47Z","timestamp":1750308227017,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,8,24]],"date-time":"2004-08-24T00:00:00Z","timestamp":1093305600000},"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":[[2004,8,24]]},"DOI":"10.1145\/1014007.1014026","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"190-199","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Efficient and flexible access control via logic program specialisation"],"prefix":"10.1145","author":[{"given":"Steve","family":"Barker","sequence":"first","affiliation":[{"name":"King's College, The Strand, UK"}]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[{"name":"University of Southampton, Highfield, UK"}]},{"given":"Mauricio","family":"Varea","sequence":"additional","affiliation":[{"name":"University of Southampton, Highfield, UK"}]}],"member":"320","published-online":{"date-parts":[[2004,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(02)00126-X"},{"volume-title":"Proc. 18th IFIP WG Conf. on Database Security","year":"2004","author":"Barker S.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/950191.950194"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/293910.293151"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/863632.883503"},{"key":"e_1_3_2_1_6_1","first-page":"40","volume-title":"Information Security","author":"Briney A.","year":"2000"},{"key":"e_1_3_2_1_7_1","first-page":"293","volume-title":"Logic and Databases","author":"Clark K.","year":"1978"},{"volume-title":"Addison-Wesley","year":"2003","author":"Date C.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","first-page":"241","volume-title":"Proc. of the 11th Annual Computer Security Applications Conf.","author":"Ferraiolo D.","year":"1995"},{"issue":"5","key":"e_1_3_2_1_10_1","first-page":"45","article-title":"Partial evaluation of a computation process --- an approach to a compiler-compiler. Systems, Computers","volume":"2","author":"Futamura Y.","year":"1971","journal-title":"Controls"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775200"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/383891.383894"},{"volume-title":"Springer-Verlag","year":"1990","author":"Jones N. D.","key":"e_1_3_2_1_13_1"},{"volume-title":"Prentice Hall","year":"1993","author":"Jones N. D.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","first-page":"341","volume-title":"M. Bruynooghe and K.-K","author":"Leuschel M.","year":"2004"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001662"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)10012-7"},{"key":"e_1_3_2_1_18_1","first-page":"129","volume-title":"LNCS 1924","author":"Makholm H.","year":"2000"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/61352.61357"},{"key":"e_1_3_2_1_21_1","unstructured":"K. Sagonas T. Swift D. Warren J. Freire and P. Rao. The XSB System Version 2.0 Programmer's Manual 1999.]]  K. Sagonas T. Swift D. Warren J. Freire and P. Rao. The XSB System Version 2.0 Programmer's Manual 1999.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191927"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/344287.344301"}],"event":{"name":"PEPM04: Partial Evaluation and Program Manipulation 2004","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Verona Italy","acronym":"PEPM04"},"container-title":["Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1014007.1014026","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1014007.1014026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:29Z","timestamp":1750264289000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1014007.1014026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8,24]]},"references-count":23,"alternative-id":["10.1145\/1014007.1014026","10.1145\/1014007"],"URL":"https:\/\/doi.org\/10.1145\/1014007.1014026","relation":{},"subject":[],"published":{"date-parts":[[2004,8,24]]},"assertion":[{"value":"2004-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}