{"id":"https://openalex.org/W2139313204","doi":"https://doi.org/10.1145/1069774.1069775","title":"Abstraction carrying code and resource-awareness","display_name":"Abstraction carrying code and resource-awareness","publication_year":2005,"publication_date":"2005-07-11","ids":{"openalex":"https://openalex.org/W2139313204","doi":"https://doi.org/10.1145/1069774.1069775","mag":"2139313204"},"language":"en","primary_location":{"id":"doi:10.1145/1069774.1069775","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1069774.1069775","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://oa.upm.es/14539/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Manuel V. Hermenegildo","raw_affiliation_strings":["T. U. of Madrid, Madrid, Spain and U. of New Mexico, Albuquerque, NM"],"affiliations":[{"raw_affiliation_string":"T. U. of Madrid, Madrid, Spain and U. of New Mexico, Albuquerque, NM","institution_ids":["https://openalex.org/I169521973"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091905437","display_name":"Elvira Albert","orcid":"https://orcid.org/0000-0003-0048-0705"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Elvira Albert","raw_affiliation_strings":["Complutense U. of Madrid, Madrid, Spain","Complutense U. of Madrid, Madrid, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Complutense U. of Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Complutense U. of Madrid, Madrid, Spain#TAB#","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030520172","display_name":"Pedro L\u00f3pez-Garc\u00eda","orcid":"https://orcid.org/0000-0002-1092-2071"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pedro L\u00f3pez-Garc\u00eda","raw_affiliation_strings":["T. U. of Madrid, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"T. U. of Madrid, Madrid, Spain","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038492725","display_name":"Germ\u00e1n Puebla","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Germ\u00e1n Puebla","raw_affiliation_strings":["T. U. of Madrid, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"T. U. of Madrid, Madrid, Spain","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5073531919"],"corresponding_institution_ids":["https://openalex.org/I169521973"],"apc_list":null,"apc_paid":null,"fwci":5.937,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.96112041,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8641446828842163},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.8276783227920532},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.6224474310874939},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6194989085197449},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5680000185966492},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5325894355773926},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4752759039402008},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4695098102092743},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43401849269866943},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.329757958650589},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.23220014572143555},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.18620401620864868}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8641446828842163},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.8276783227920532},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.6224474310874939},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6194989085197449},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5680000185966492},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5325894355773926},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4752759039402008},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4695098102092743},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43401849269866943},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.329757958650589},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.23220014572143555},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.18620401620864868},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/1069774.1069775","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1069774.1069775","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.77.8585","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.8585","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://clip.dia.fi.upm.es/papers/acc-res-ppdp05.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.81.4497","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.4497","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://clip.dia.fi.upm.es/papers/acc-res-ppdp05-long.pdf","raw_type":"text"},{"id":"pmh:oai:oa.upm.es:14539","is_oa":true,"landing_page_url":"https://oa.upm.es/14539/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming | 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming | July 11-13 2005 | Lisbon, Portugal","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:oa.upm.es:14539","is_oa":true,"landing_page_url":"https://oa.upm.es/14539/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming | 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming | July 11-13 2005 | Lisbon, Portugal","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W206031030","https://openalex.org/W207722629","https://openalex.org/W296180527","https://openalex.org/W1278612252","https://openalex.org/W1485320411","https://openalex.org/W1491271723","https://openalex.org/W1508161107","https://openalex.org/W1518788700","https://openalex.org/W1530717542","https://openalex.org/W1532795106","https://openalex.org/W1533556407","https://openalex.org/W1539259921","https://openalex.org/W1544096846","https://openalex.org/W1563137573","https://openalex.org/W1564069522","https://openalex.org/W1572167572","https://openalex.org/W1617855441","https://openalex.org/W1963705166","https://openalex.org/W1965377774","https://openalex.org/W2008289497","https://openalex.org/W2017860618","https://openalex.org/W2024886390","https://openalex.org/W2034711041","https://openalex.org/W2043100293","https://openalex.org/W2069107692","https://openalex.org/W2128026023","https://openalex.org/W2163660741","https://openalex.org/W2167992533","https://openalex.org/W2675876715","https://openalex.org/W4285719527","https://openalex.org/W6629509006"],"related_works":["https://openalex.org/W2119447376","https://openalex.org/W2611090506","https://openalex.org/W2096990506","https://openalex.org/W167896555","https://openalex.org/W4253081550","https://openalex.org/W2074638034","https://openalex.org/W3177169335","https://openalex.org/W1995638504","https://openalex.org/W1513061978","https://openalex.org/W3149732360"],"abstract_inverted_index":{"Proof-Carrying":[0],"Code":[1,63],"(PCC)":[2],"is":[3,27,65,92,103,132,140,153,228],"a":[4,20,44,120,124,142,156,160,206,225,236,242],"general":[5],"approach":[6],"to":[7,118,135,176,211,230],"mobile":[8,218,243,278],"code":[9,14,251,279],"safety":[10],"in":[11,71,123,155,159,170,205,217,267],"which":[12,48,72,102,234,252,261,280],"the":[13,17,29,35,38,58,77,80,87,90,110,113,129,138,145,150,167,174,177,180,212,221,282],"supplier":[15],"augments":[16],"program":[18,30,40,78],"with":[19],"certificate":[21,36,45,139],"(or":[22],"proof).":[23],"The":[24,84],"intended":[25],"benefit":[26],"that":[28,137],"consumer":[31],"can":[32,248],"locally":[33],"validate":[34,259],"w.r.t.":[37,105],"\"untrusted\"":[39],"by":[41,96,224],"means":[42],"of":[43,76,82,86,144,179,183,200,214,241,269],"checker---a":[46],"process":[47],"should":[49],"be":[50],"much":[51,161],"simpler,":[52],"efficient,":[53],"and":[54,172,185,202,238,276],"automatic":[55],"than":[56],"generating":[57],"original":[59],"proof.":[60],"Abstraction":[61],"Carrying":[62],"(ACC)":[64],"an":[66,73,97,198,209],"enabling":[67,192],"technology":[68,193],"for":[69,194],"PCC":[70,171],"abstract":[74,98,107,146,189],"model":[75],"plays":[79],"role":[81],"certificate.":[83],"generation":[85],"certificate,":[88],"i.e.,":[89],"abstraction,":[91],"automatically":[93],"carried":[94],"out":[95],"interpretation-based":[99],"analysis":[100],"engine,":[101],"parametric":[104],"different":[106],"domains.":[108],"While":[109],"analyzer":[111,227],"on":[112,128,188],"producer":[114],"side":[115,247],"typically":[116],"has":[117],"compute":[119],"semantic":[121],"fixpoint":[122,143],"complex,":[125],"iterative":[126],"process,":[127],"receiver":[130],"it":[131,257],"only":[133],"necessary":[134],"check":[136],"indeed":[141],"semantics":[147],"equations":[148],"representing":[149],"program.":[151],"This":[152],"done":[154],"single":[157],"pass":[158],"more":[162],"efficient":[163,239],"process.":[164],"ACC":[165,201],"addresses":[166],"fundamental":[168],"issues":[169],"opens":[173],"door":[175],"applicability":[178],"large":[181,264],"body":[182],"frameworks":[184],"domains":[186],"based":[187],"interpretation":[190],"as":[191],"PCC.":[195],"We":[196],"present":[197],"overview":[199],"we":[203],"describe":[204],"tutorial":[207],"fashion":[208],"application":[210],"problem":[213],"resource-aware":[215],"security":[216],"code.":[219,244],"Essentially":[220],"information":[222],"computed":[223],"cost":[226,232,254,265],"used":[229],"generate":[231],"certificates":[233,255],"attest":[235],"safe":[237],"use":[240],"A":[245],"receiving":[246],"then":[249],"reject":[250],"brings":[253],"(which":[256],"cannot":[258],"or)":[260],"have":[262],"too":[263],"requirements":[266],"terms":[268],"computing":[270],"resources":[271],"(in":[272],"time":[273],"and/or":[274],"space)":[275],"accept":[277],"meets":[281],"established":[283],"requirements.":[284]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}