{"id":"https://openalex.org/W1522408124","doi":null,"title":"An integration of partial evaluation in a generic abstract interpretation framework","display_name":"An integration of partial evaluation in a generic abstract interpretation framework","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W1522408124","mag":"1522408124"},"language":"en","primary_location":{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/b2dd4f92-070e-41cb-b7ee-71f02fdf6766","doi":null,"is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/b2dd4f92-070e-41cb-b7ee-71f02fdf6766","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Puebla, G, Hermenegildo, M & Gallagher, J P 1999, An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. in Unknown. University of Aarhus, Dept. of Computer Science, pp. 75 - 84. < http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/1999-puebla.html >","raw_type":"contributionToPeriodical"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038492725","display_name":"Germ\u00e1n Puebla","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Germ\u00e1n Puebla","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X","observed_orcids":["https://orcid.org/0000-0002-7583-323X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manuel V. Hermenegildo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5020698393","display_name":"John P. Gallagher","orcid":"https://orcid.org/0000-0001-6984-7419","observed_orcids":["https://orcid.org/0000-0001-6984-7419"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John P. Gallagher","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-6984-7419","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.515,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93018868,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"75","last_page":"84"},"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.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/partial-evaluation","display_name":"partial evaluation","score":0.9900000095367432},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.9990000128746033},{"id":"https://openalex.org/keywords/program-specialization","display_name":"program specialization","score":0.9739999771118164},{"id":"https://openalex.org/keywords/unfolding","display_name":"unfolding","score":0.5709999799728394},{"id":"https://openalex.org/keywords/fixpoint-computation","display_name":"fixpoint computation","score":0.671999990940094},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.5899999737739563}],"concepts":[{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.938098669052124},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.8312368392944336},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.8123962879180908},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7941873669624329},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.7559534311294556},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.6671050786972046},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5271753072738647},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47823137044906616},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39861607551574707},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2886885404586792},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25387293100357056}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/b2dd4f92-070e-41cb-b7ee-71f02fdf6766","doi":null,"is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/b2dd4f92-070e-41cb-b7ee-71f02fdf6766","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Puebla, G, Hermenegildo, M & Gallagher, J P 1999, An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. in Unknown. University of Aarhus, Dept. of Computer Science, pp. 75 - 84. < http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/1999-puebla.html >","raw_type":"contributionToPeriodical"},{"id":"mag:1522408124","doi":null,"is_oa":false,"landing_page_url":"http://oa.upm.es/14639/1/HERME_REFWORKS_1999-4.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306420686","display_name":"Partial Evaluation and Semantic-Based Program Manipulation","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Partial Evaluation and Semantic-Based Program Manipulation","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W153405243","https://openalex.org/W207722629","https://openalex.org/W1492471923","https://openalex.org/W1507195668","https://openalex.org/W1515877009","https://openalex.org/W1520791584","https://openalex.org/W1526063741","https://openalex.org/W1530237295","https://openalex.org/W1559076591","https://openalex.org/W1572167572","https://openalex.org/W1624796000","https://openalex.org/W1853495215","https://openalex.org/W1965825795","https://openalex.org/W1983305931","https://openalex.org/W1985933047","https://openalex.org/W2000782239","https://openalex.org/W2037035101","https://openalex.org/W2043100293","https://openalex.org/W2048831705","https://openalex.org/W2074516823","https://openalex.org/W2143826737"],"related_works":["https://openalex.org/W7095461733","https://openalex.org/W7034294125","https://openalex.org/W1884591353","https://openalex.org/W7095209856","https://openalex.org/W184346136","https://openalex.org/W1892527813","https://openalex.org/W3160217403","https://openalex.org/W2151036935","https://openalex.org/W7100748712","https://openalex.org/W3047976694"],"abstract_inverted_index":{"Information":[0,28],"generated":[1],"by":[2,35,85,134],"abstract":[3,68,106,126,148,157,202],"interpreters":[4],"has":[5],"long":[6],"been\r\nused":[7],"to":[8,24,89,114,145,179],"perform":[9,25],"program":[10,37,82,131],"specialization.":[11,27],"Additionally,":[12],"if":[13],"the\r\nabstract":[14],"interpreter":[15],"generates":[16],"a":[17,71,116],"multivariant":[18],"analysis,":[19],"it":[20],"is":[21,33,65,70,113],"also":[22],"possible":[23],"multiple":[26,102],"about":[29],"values":[30,57,77],"of":[31,58,110,125,199],"variables":[32,59],"propagated":[34],"simulating":[36],"execution":[38],"and":[39,60,137,165,192],"performing":[40],"fixpoint":[41],"computations":[42],"for":[43,54,74,101,172],"recursive":[44],"calis.":[45],"In":[46],"contrast,":[47],"traditional":[48,160],"partial":[49,135,163,174,200],"evaluators":[50],"(mainly)":[51],"use":[52],"unfolding":[53,86],"both":[55,190],"propagating":[56,75],"transforming":[61],"the":[62,81,98,121,129,168,180,196],"program.":[63],"It":[64],"known":[66],"that":[67,186],"interpretation":[69,127,158],"better":[72,122],"technique":[73],"success":[76],"than":[78],"unfolding.":[79],"However,":[80],"transformations":[83,132],"induced":[84],"may":[87],"lead":[88],"important":[90],"optimizations":[91],"which":[92,119,138],"are":[93],"not":[94],"directly":[95],"achievable":[96],"in":[97,162,195],"existing":[99,146],"frameworks":[100],"specialization":[103,117,182],"based":[104],"on":[105],"interpretation.":[107,203],"The":[108],"aim":[109],"this":[111,151],"work":[112],"devise":[115],"framework":[118],"integrates":[120],"information":[123],"propagation":[124],"with":[128,159],"powerful":[130],"performed":[133],"evaluation,":[136],"can":[139,176,188],"be":[140,177,189],"implemented":[141],"via":[142],"small":[143],"modifications":[144],"generic":[147],"interpreters.":[149],"With":[150],"aim,":[152],"we":[153],"will":[154],"relate":[155],"top-down":[156],"concepts":[161],"evaluation":[164,175],"sketch":[166],"how":[167],"sophisticated":[169],"techniques":[170],"developed":[171],"controlling":[173],"adapted":[178],"proposed":[181,197],"framework.":[183],"We":[184],"conclude":[185],"there":[187],"practical":[191],"conceptual":[193],"advantages":[194],"integration":[198],"evaluation\r\nand":[201]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}