{"id":"https://openalex.org/W2165051772","doi":"https://doi.org/10.3217/jucs-012-07-0828","title":"Program Slicing by Calculation","display_name":"Program Slicing by Calculation","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2165051772","doi":"https://doi.org/10.3217/jucs-012-07-0828","mag":"2165051772"},"language":"en","primary_location":{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/6470","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/6470","pdf_url":"http://hdl.handle.net/1822/6470","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1822/6470","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":[{"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":"Lu\u00eds S. Barbosa","raw_affiliation_strings":["Univ. of Minho"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Minho","institution_ids":["https://openalex.org/I99682543"]}]},{"author_position":"last","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":"Nuno F. Rodrigues","raw_affiliation_strings":["Univ. of Minho"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Minho","institution_ids":["https://openalex.org/I99682543"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99682543"],"apc_list":null,"apc_paid":null,"fwci":0.5412,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76666338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"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.9711999893188477,"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.9711999893188477,"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.014700000174343586,"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.005499999970197678,"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.8970000147819519},{"id":"https://openalex.org/keywords/projection-functions","display_name":"projection functions","score":0.6809999942779541},{"id":"https://openalex.org/keywords/program-dependencies","display_name":"program dependencies","score":0.8149999976158142},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"program comprehension","score":0.45899999141693115}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.9691205024719238},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.9023150205612183},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8883469700813293},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5598223805427551},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4993021488189697},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4920629858970642},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.48874759674072266},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.4284844398498535},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.416011244058609},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.364676833152771},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3435785174369812},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.21249333024024963},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.15049678087234497},{"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":6,"locations":[{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/6470","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/6470","pdf_url":"http://hdl.handle.net/1822/6470","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},{"id":"pmh:oai:zenodo.org:6997058","doi":null,"is_oa":true,"landing_page_url":"https://zenodo.org/record/6997058","pdf_url":"https://zenodo.org/record/6997058","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 12((7)) 828-848","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.102.356","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.356","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://repositorium.sdum.uminho.pt/dspace/bitstream/1822/6470/1/RB06_lsb.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.103.1872","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1872","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_12_7/program_slicing_by_calculation/jucs_12_07_0828_0848_rodrigues.pdf","raw_type":"text"},{"id":"pmh:oai:repositorium.uminho.pt:1822/6470","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1822/6470","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","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":"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":null,"raw_type":"journal article"},{"id":"doi:10.3217/jucs-012-07-0828","doi":"https://doi.org/10.3217/jucs-012-07-0828","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-012-07-0828","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"DataPaper"}],"best_oa_location":{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/6470","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/6470","pdf_url":"http://hdl.handle.net/1822/6470","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2165051772.pdf","grobid_xml":"https://content.openalex.org/works/W2165051772.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W53653091","https://openalex.org/W1508224656","https://openalex.org/W1558180172","https://openalex.org/W1563218161","https://openalex.org/W1599500495","https://openalex.org/W1608714802","https://openalex.org/W1763199018","https://openalex.org/W1796676969","https://openalex.org/W1921315132","https://openalex.org/W2028806953","https://openalex.org/W2077564715","https://openalex.org/W2082828226","https://openalex.org/W2096584490","https://openalex.org/W2099665351","https://openalex.org/W2105586293","https://openalex.org/W2116908067","https://openalex.org/W2123256711","https://openalex.org/W2141109493","https://openalex.org/W2172307690","https://openalex.org/W2262718619","https://openalex.org/W2293624369"],"related_works":["https://openalex.org/W203896487","https://openalex.org/W2139160597","https://openalex.org/W2022929508","https://openalex.org/W2108486698","https://openalex.org/W7100787589","https://openalex.org/W2293286720","https://openalex.org/W2099665351","https://openalex.org/W2247790717","https://openalex.org/W7097368164","https://openalex.org/W2157370465"],"abstract_inverted_index":{"Abstract.":[0],"Program":[1],"slicing":[2,42,81,112,161],"is":[3,114],"a":[4,75,118,121,141],"well":[5],"known":[6],"family":[7],"of":[8,32,57,87,135,143],"techniques":[9,64],"used":[10],"to":[11,67,79,91,100,132,160],"identify":[12],"code":[13],"fragments":[14],"which":[15],"depend":[16],"on":[17,54,106],"or":[18,49,120],"are":[19,26,52],"depended":[20],"upon":[21],"specific":[22],"program":[23,35,61,89,102],"entities.":[24],"They":[25],"particularly":[27],"useful":[28],"in":[29],"the":[30,47,80,107,128,133,136,145],"areas":[31],"reverse":[33],"engineering,":[34],"understanding,":[36],"testing":[37],"and":[38],"software":[39],"maintenance.":[40],"Most":[41],"methods,":[43],"usually":[44],"oriented":[45],"towards":[46],"imperatice":[48],"object":[50],"paradigms,":[51],"based":[53,105],"some":[55],"sort":[56],"graph":[58,69],"structure":[59],"representing":[60],"dependencies.":[62],"Slicing":[63],"amount,":[65],"therefore,":[66],"(sophisticated)":[68],"transversal":[70],"algorithms.":[71],"This":[72],"paper":[73,146],"proposes":[74],"completely":[76,157],"different":[77],"approach":[78,149],"problem":[82],"for":[83],"functional":[84,162],"programs.":[85,163],"Instead":[86],"extracting":[88],"information":[90],"build":[92],"an":[93,152],"underlying":[94],"dependencies":[95],"\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],"either":[116],"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],"1.":[164]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}