{"id":"https://openalex.org/W203896487","doi":"https://doi.org/10.4230/dagsemproc.05451.8","title":"Slicing Functional Programs by Calculation","display_name":"Slicing Functional Programs by Calculation","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W203896487","doi":"https://doi.org/10.4230/dagsemproc.05451.8","mag":"203896487"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:484","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.8","pdf_url":"https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol05451/DagSemProc.05451.8/DagSemProc.05451.8.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol05451/DagSemProc.05451.8/DagSemProc.05451.8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100725410","display_name":"Nuno F. Rodrigues","orcid":"https://orcid.org/0000-0003-4884-0984","observed_orcids":["https://orcid.org/0000-0003-4884-0984"]},"institutions":[{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Rodrigues, Nuno Miguel Feixa","raw_affiliation_strings":["University of MInho"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of MInho","institution_ids":["https://openalex.org/I99682543"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062334330","display_name":"Lu\u00eds Soares Barbosa","orcid":"https://orcid.org/0000-0002-5037-2588","observed_orcids":["https://orcid.org/0000-0002-5037-2588"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barbosa, Lu\u00eds S.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5412,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.76666338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"0","last_page":null},"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.9761000275611877,"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.9761000275611877,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.010900000110268593,"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/T10260","display_name":"Software Engineering Research","score":0.00419999985024333,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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":1.0},{"id":"https://openalex.org/keywords/functional-programs","display_name":"functional programs","score":0.9800000190734863},{"id":"https://openalex.org/keywords/projection-functions","display_name":"projection functions","score":0.6499999761581421},{"id":"https://openalex.org/keywords/program-dependencies","display_name":"program dependencies","score":0.7789999842643738},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"program comprehension","score":0.46000000834465027}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.9634594917297363},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.900484561920166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8086457848548889},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.572795569896698},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5471705794334412},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4953702688217163},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.4776110351085663},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.4449995160102844},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.44487446546554565},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.440030962228775},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.43795424699783325},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36202573776245117},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3339468240737915},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.22542113065719604},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15403056144714355},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:484","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.8","pdf_url":"https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol05451/DagSemProc.05451.8/DagSemProc.05451.8.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.579.3264","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.579.3264","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://drops.dagstuhl.de/opus/volltexte/2006/484/pdf/05451.RodriguesFeixaNunoMiguel.Paper.484.pdf","raw_type":"text"},{"id":"doi:10.4230/dagsemproc.05451.8","doi":"https://doi.org/10.4230/dagsemproc.05451.8","is_oa":true,"landing_page_url":"https://doi.org/10.4230/dagsemproc.05451.8","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},{"id":"mag:203896487","doi":null,"is_oa":false,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2006/484/pdf/05451.RodriguesFeixaNunoMiguel.Paper.484.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306418148","display_name":"Dagstuhl Seminar Proceedings","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":"Dagstuhl Seminar Proceedings","raw_type":null},{"id":"mag:2987491885","doi":null,"is_oa":false,"landing_page_url":"http://drops.dagstuhl.de/opus/volltexte/2006/484","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:484","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.8","pdf_url":"https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol05451/DagSemProc.05451.8/DagSemProc.05451.8.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W203896487.pdf","grobid_xml":"https://content.openalex.org/works/W203896487.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W53653091","https://openalex.org/W303139982","https://openalex.org/W1508224656","https://openalex.org/W1558180172","https://openalex.org/W1563218161","https://openalex.org/W1599500495","https://openalex.org/W1608714802","https://openalex.org/W1796676969","https://openalex.org/W1857455428","https://openalex.org/W1921315132","https://openalex.org/W2028806953","https://openalex.org/W2096584490","https://openalex.org/W2104803835","https://openalex.org/W2116908067","https://openalex.org/W2123256711","https://openalex.org/W2141109493","https://openalex.org/W2162310108","https://openalex.org/W2172307690","https://openalex.org/W2293624369"],"related_works":["https://openalex.org/W4292013178","https://openalex.org/W2139160597","https://openalex.org/W2022929508","https://openalex.org/W2108486698","https://openalex.org/W2247790717","https://openalex.org/W7097368164","https://openalex.org/W7100787589","https://openalex.org/W7099389360","https://openalex.org/W2073106316","https://openalex.org/W2099665351"],"abstract_inverted_index":{"Program":[0],"slicing":[1,41,82,112,161],"is":[2,114],"a":[3,76,118,121,141],"well":[4],"known":[5],"family":[6],"of":[7,31,58,88,135,143],"techniques":[8,65],"used":[9],"to":[10,68,80,92,100,132,160],"identify":[11],"code":[12],"fragments":[13],"which":[14],"depend":[15],"on":[16,55,106],"or":[17,48,120],"are":[18,25,53],"depended":[19],"upon":[20],"specific":[21],"program":[22,34,62,90,102],"entities.":[23],"They":[24],"particularly":[26],"useful":[27],"in":[28],"the":[29,46,49,81,107,128,133,136,145],"areas":[30],"reverse":[32],"engineering,":[33],"understanding,":[35],"testing":[36],"and":[37],"software":[38],"maintenance.":[39],"Most":[40],"methods,":[42],"usually":[43],"targeting":[44],"either":[45,116],"imperative":[47],"object":[50],"oriented":[51],"paradigms,":[52],"based":[54,105],"some":[56],"sort":[57],"graph":[59,70],"structure":[60],"representing":[61],"dependencies.":[63],"Slicing":[64],"amount,":[66],"therefore,":[67],"(sophisticated)":[69],"transversal":[71],"algorithms.":[72],"This":[73],"paper":[74,146],"proposes":[75],"completely":[77,157],"different":[78],"approach":[79,149],"problem":[83],"for":[84],"functional":[85,162],"programs.":[86,163],"Instead":[87],"extracting":[89],"information":[91],"build":[93],"an":[94,152],"underlying":[95],"dependencies\u2019":[96],"structure,":[97],"we":[98],"resort":[99],"standard":[101],"calculation":[103],"strategies,":[104],"so-called":[108],"Bird-Meertens":[109],"formalism.":[110],"The":[111],"criterion":[113],"specified":[115],"as":[117],"projection":[119],"hiding":[122],"function":[123],"which,":[124],"once":[125],"composed":[126],"with":[127],"original":[129],"program,":[130],"leads":[131],"identification":[134],"intended":[137],"slice.":[138],"Going":[139],"through":[140],"number":[142],"examples,":[144],"suggests":[147],"this":[148],"may":[150],"be":[151],"interesting,":[153],"even":[154],"if":[155],"not":[156],"general":[158],"alternative":[159]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}