{"id":"https://openalex.org/W1982703446","doi":"https://doi.org/10.1007/s00165-005-0077-6","title":"A formal relationship between program slicing and partial evaluation","display_name":"A formal relationship between program slicing and partial evaluation","publication_year":2006,"publication_date":"2006-05-11","ids":{"openalex":"https://openalex.org/W1982703446","doi":"https://doi.org/10.1007/s00165-005-0077-6","mag":"1982703446"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-005-0077-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0077-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0077-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0077-6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008760456","display_name":"David Binkley","orcid":"https://orcid.org/0000-0003-0059-4024"},"institutions":[{"id":"https://openalex.org/I165556055","display_name":"Loyola University Maryland","ror":"https://ror.org/01by1wp65","country_code":"US","type":"education","lineage":["https://openalex.org/I165556055"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David W. Binkley","raw_affiliation_strings":["Department of Computer Science, Loyola College, 4501 N. Charles Street, 21210-2699, Baltimore, Maryland, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Loyola College, 4501 N. Charles Street, 21210-2699, Baltimore, Maryland, USA","institution_ids":["https://openalex.org/I165556055"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105935151","display_name":"Sebastian Danicic","orcid":null},"institutions":[{"id":"https://openalex.org/I124357947","display_name":"University of London","ror":"https://ror.org/04cw6st05","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947"]},{"id":"https://openalex.org/I55521800","display_name":"Goldsmiths University of London","ror":"https://ror.org/01khx4a30","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I55521800"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sebastian Danicic","raw_affiliation_strings":["Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, UK","Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, Maryland, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, UK","institution_ids":["https://openalex.org/I55521800"]},{"raw_affiliation_string":"Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, Maryland, UK","institution_ids":["https://openalex.org/I124357947"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000019783","display_name":"Mark Harman","orcid":"https://orcid.org/0000-0002-5864-4488"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mark Harman","raw_affiliation_strings":["Software Engineering Group, Department of Computer Science, King's College London, WC2R 2LS, London, Strand, UK","Software Engineering Group, Department of Computer Science, King's College London, New Cross, WC2R 2LS, London, Strand, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Engineering Group, Department of Computer Science, King's College London, WC2R 2LS, London, Strand, UK","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"Software Engineering Group, Department of Computer Science, King's College London, New Cross, WC2R 2LS, London, Strand, UK#TAB#","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049189804","display_name":"John Howroyd","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Howroyd","raw_affiliation_strings":["@UK PLC, 5 Jupiter House, Calleva Park, RG7 8NN, Aldermaston, Berkshire, UK","@UK PLC, 5 Jupiter House, Calleva Park, RG7 8NN, Aldermaston, Berkshire, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"@UK PLC, 5 Jupiter House, Calleva Park, RG7 8NN, Aldermaston, Berkshire, UK","institution_ids":[]},{"raw_affiliation_string":"@UK PLC, 5 Jupiter House, Calleva Park, RG7 8NN, Aldermaston, Berkshire, UK#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041863006","display_name":"Lahcen Ouarbya","orcid":null},"institutions":[{"id":"https://openalex.org/I124357947","display_name":"University of London","ror":"https://ror.org/04cw6st05","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947"]},{"id":"https://openalex.org/I55521800","display_name":"Goldsmiths University of London","ror":"https://ror.org/01khx4a30","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I55521800"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lahcen Ouarbya","raw_affiliation_strings":["Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, UK","Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, Maryland, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, UK","institution_ids":["https://openalex.org/I55521800"]},{"raw_affiliation_string":"Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, Maryland, UK","institution_ids":["https://openalex.org/I124357947"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":1.011,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.83555556,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"18","issue":"2","first_page":"103","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/program-slicing","display_name":"Program slicing","score":0.8855689764022827},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.8230322599411011},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"Partial evaluation","score":0.788740873336792},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6210472583770752},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5562065243721008},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5478224754333496},{"id":"https://openalex.org/keywords/residual","display_name":"Residual","score":0.4921724200248718},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19985002279281616},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.06642219424247742}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.8855689764022827},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.8230322599411011},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.788740873336792},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6210472583770752},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5562065243721008},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5478224754333496},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.4921724200248718},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19985002279281616},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.06642219424247742}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s00165-005-0077-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0077-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0077-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1302038","is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/1302038/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"In: (pp. pp. 103-119). (2006)","raw_type":"Proceedings paper"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1302201","is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/1302201/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"FORM ASP COMPUT , 18 (2) 103 - 119. (2006)","raw_type":"Article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/ca2ed37e-0490-4ee1-803c-eb0dc7de62a3","is_oa":false,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/ca2ed37e-0490-4ee1-803c-eb0dc7de62a3","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Binkley , D , Danicic , S , Harman , M , Howroyd , J & Ouarbya , L 2006 , ' A Formal Relationship Between Program Slicing and Partial Evaluation ' , FORMAL ASPECTS OF COMPUTING , vol. 18 , no. 2 , pp. 103 - 119 . https://doi.org/10.1007/s00165-005-0077-6","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s00165-005-0077-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-005-0077-6","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-005-0077-6","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1982703446.pdf","grobid_xml":"https://content.openalex.org/works/W1982703446.grobid-xml"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W24354942","https://openalex.org/W43378443","https://openalex.org/W53653091","https://openalex.org/W64256610","https://openalex.org/W132956763","https://openalex.org/W196471595","https://openalex.org/W303139982","https://openalex.org/W593974556","https://openalex.org/W1532096540","https://openalex.org/W1546381996","https://openalex.org/W1556604985","https://openalex.org/W1566968514","https://openalex.org/W1575308494","https://openalex.org/W1577610794","https://openalex.org/W1921315132","https://openalex.org/W1964060567","https://openalex.org/W1966403183","https://openalex.org/W1966640665","https://openalex.org/W1975807602","https://openalex.org/W1988503504","https://openalex.org/W1996081324","https://openalex.org/W1997880406","https://openalex.org/W2005685982","https://openalex.org/W2006802414","https://openalex.org/W2010238665","https://openalex.org/W2019722731","https://openalex.org/W2020768474","https://openalex.org/W2025902616","https://openalex.org/W2028806953","https://openalex.org/W2043057243","https://openalex.org/W2044529811","https://openalex.org/W2046631444","https://openalex.org/W2056038097","https://openalex.org/W2057992103","https://openalex.org/W2063206077","https://openalex.org/W2064625489","https://openalex.org/W2064885277","https://openalex.org/W2070002971","https://openalex.org/W2084099544","https://openalex.org/W2085674537","https://openalex.org/W2089925494","https://openalex.org/W2097347001","https://openalex.org/W2108750355","https://openalex.org/W2109918206","https://openalex.org/W2122749276","https://openalex.org/W2122839514","https://openalex.org/W2124228276","https://openalex.org/W2124478270","https://openalex.org/W2125498610","https://openalex.org/W2127280681","https://openalex.org/W2135942296","https://openalex.org/W2137126136","https://openalex.org/W2141109493","https://openalex.org/W2141716727","https://openalex.org/W2142993980","https://openalex.org/W2147088720","https://openalex.org/W2147140044","https://openalex.org/W2149545670","https://openalex.org/W2154320795","https://openalex.org/W2156820168","https://openalex.org/W2162310108","https://openalex.org/W2170006119","https://openalex.org/W2170098700","https://openalex.org/W2170847442","https://openalex.org/W2293624369","https://openalex.org/W2491694540","https://openalex.org/W2572804059","https://openalex.org/W4231904752","https://openalex.org/W4236200795","https://openalex.org/W4239086365","https://openalex.org/W4247750826","https://openalex.org/W4285719527","https://openalex.org/W6610773549"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W4239953224","https://openalex.org/W2347708239","https://openalex.org/W4302024603","https://openalex.org/W1595405651","https://openalex.org/W4253236026","https://openalex.org/W2295096427","https://openalex.org/W2080421885","https://openalex.org/W2037677490"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"formal":[2],"relationship":[3],"between":[4],"program":[5,21],"slicing":[6],"and":[7],"partial":[8,24],"evaluation":[9,25],"is":[10,13,26],"established.":[11],"It":[12],"proved":[14],"that":[15],"for":[16],"terminating":[17],"programs,":[18],"a":[19,30],"residual":[20],"produced":[22],"by":[23],"semantically":[27],"equivalent":[28],"to":[29],"conditioned":[31],"slice.":[32]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}