{"id":"https://openalex.org/W2154887561","doi":"https://doi.org/10.1017/s1471068406002869","title":"Removing redundant arguments automatically","display_name":"Removing redundant arguments automatically","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2154887561","doi":"https://doi.org/10.1017/s1471068406002869","mag":"2154887561"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068406002869","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068406002869","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5033696911","display_name":"Mar\u0131\u0301a Alpuente","orcid":"https://orcid.org/0000-0002-9268-1178"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"M. ALPUENTE","raw_affiliation_strings":["DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain (e-mail: alpuente@dsic.upv.es,sescobar@dsic.upv.es,slucas@dsic.upv.es)#TAB#"],"affiliations":[{"raw_affiliation_string":"DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain (e-mail: alpuente@dsic.upv.es,sescobar@dsic.upv.es,slucas@dsic.upv.es)#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032149189","display_name":"Santiago Escobar","orcid":"https://orcid.org/0000-0002-3550-4781"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. ESCOBAR","raw_affiliation_strings":["DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain (e-mail: alpuente@dsic.upv.es,sescobar@dsic.upv.es,slucas@dsic.upv.es)#TAB#"],"affiliations":[{"raw_affiliation_string":"DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain (e-mail: alpuente@dsic.upv.es,sescobar@dsic.upv.es,slucas@dsic.upv.es)#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012146310","display_name":"Salvador Lucas","orcid":"https://orcid.org/0000-0001-9923-2108"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. LUCAS","raw_affiliation_strings":["DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain (e-mail: alpuente@dsic.upv.es,sescobar@dsic.upv.es,slucas@dsic.upv.es)#TAB#"],"affiliations":[{"raw_affiliation_string":"DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain (e-mail: alpuente@dsic.upv.es,sescobar@dsic.upv.es,slucas@dsic.upv.es)#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033696911"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.21568627,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"7","issue":"1-2","first_page":"3","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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":0.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"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.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.913390040397644},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.8170962333679199},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.7273756265640259},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6573621034622192},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5697692036628723},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.548343300819397},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5150863528251648},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.47201675176620483},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42066723108291626}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.913390040397644},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8170962333679199},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.7273756265640259},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6573621034622192},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5697692036628723},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.548343300819397},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5150863528251648},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.47201675176620483},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42066723108291626},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068406002869","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068406002869","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.341.5463","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.5463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0601039v1.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7400000095367432,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":96,"referenced_works":["https://openalex.org/W59731535","https://openalex.org/W127630583","https://openalex.org/W149518286","https://openalex.org/W157715961","https://openalex.org/W303139982","https://openalex.org/W598205067","https://openalex.org/W1422842862","https://openalex.org/W1485410855","https://openalex.org/W1485652268","https://openalex.org/W1491178396","https://openalex.org/W1493318828","https://openalex.org/W1512248102","https://openalex.org/W1514965137","https://openalex.org/W1517590008","https://openalex.org/W1519601538","https://openalex.org/W1520096901","https://openalex.org/W1521232193","https://openalex.org/W1523670520","https://openalex.org/W1529960869","https://openalex.org/W1541997097","https://openalex.org/W1542464114","https://openalex.org/W1544257708","https://openalex.org/W1551719154","https://openalex.org/W1559686260","https://openalex.org/W1567856068","https://openalex.org/W1573025664","https://openalex.org/W1574340008","https://openalex.org/W1575308494","https://openalex.org/W1575309677","https://openalex.org/W1583295953","https://openalex.org/W1585460393","https://openalex.org/W1596662634","https://openalex.org/W1602274351","https://openalex.org/W1603305149","https://openalex.org/W1693995122","https://openalex.org/W1826040061","https://openalex.org/W1828264488","https://openalex.org/W1884902993","https://openalex.org/W1921315132","https://openalex.org/W1924152497","https://openalex.org/W1965611063","https://openalex.org/W1967544098","https://openalex.org/W1977760557","https://openalex.org/W1979568806","https://openalex.org/W1980142751","https://openalex.org/W1983937740","https://openalex.org/W1986885542","https://openalex.org/W1988185893","https://openalex.org/W1988290118","https://openalex.org/W1991552240","https://openalex.org/W2001793399","https://openalex.org/W2011805144","https://openalex.org/W2035020702","https://openalex.org/W2037708044","https://openalex.org/W2039270327","https://openalex.org/W2043325669","https://openalex.org/W2047447540","https://openalex.org/W2048831705","https://openalex.org/W2053735400","https://openalex.org/W2055002795","https://openalex.org/W2059799630","https://openalex.org/W2061978946","https://openalex.org/W2068219251","https://openalex.org/W2074030070","https://openalex.org/W2078944436","https://openalex.org/W2088747311","https://openalex.org/W2105902548","https://openalex.org/W2116476739","https://openalex.org/W2116776985","https://openalex.org/W2126018011","https://openalex.org/W2127455814","https://openalex.org/W2132750992","https://openalex.org/W2142436113","https://openalex.org/W2154929064","https://openalex.org/W2157195461","https://openalex.org/W2157543955","https://openalex.org/W2162583406","https://openalex.org/W2171771385","https://openalex.org/W2293624369","https://openalex.org/W2395891450","https://openalex.org/W2484819124","https://openalex.org/W2620064397","https://openalex.org/W2711511635","https://openalex.org/W3143664306","https://openalex.org/W3197614142","https://openalex.org/W4230919050","https://openalex.org/W4285719527","https://openalex.org/W4388299483","https://openalex.org/W6610773549","https://openalex.org/W6629325410","https://openalex.org/W6631330463","https://openalex.org/W6641740895","https://openalex.org/W6642220589","https://openalex.org/W6667551339","https://openalex.org/W6677610222","https://openalex.org/W6682597053"],"related_works":["https://openalex.org/W1577856049","https://openalex.org/W2172102451","https://openalex.org/W2576194653","https://openalex.org/W114260088","https://openalex.org/W114006017","https://openalex.org/W2158595452","https://openalex.org/W2138092690","https://openalex.org/W26731332","https://openalex.org/W2585665955","https://openalex.org/W2133308153"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"application":[2],"of":[3,13,35,46,72,96,99,124,134],"automatic":[4],"transformation":[5],"processes":[6],"during":[7],"the":[8,19,33,39,43,59,68,83,94,97,116,132],"formal":[9],"development":[10],"and":[11,70],"optimization":[12],"programs":[14,84],"can":[15,86],"introduce":[16],"encumbrances":[17],"in":[18,38,42,75,89],"generated":[20],"code":[21],"that":[22,50,85],"programmers":[23],"usually":[24],"(or":[25],"presumably)":[26],"do":[27],"not":[28,57],"write.":[29],"An":[30],"example":[31],"is":[32],"introduction":[34],"redundant":[36,73,100],"arguments":[37,74],"functions":[40],"defined":[41],"program.":[44],"Redundancy":[45],"a":[47,80],"parameter":[48],"means":[49],"replacing":[51],"it":[52],"by":[53],"any":[54],"expression":[55],"does":[56],"change":[58],"result.":[60],"In":[61],"this":[62],"work,":[63],"we":[64,102],"provide":[65],"methods":[66,126],"for":[67,82],"analysis":[69],"elimination":[71],"term":[76],"rewriting":[77],"systems":[78],"as":[79],"model":[81],"be":[87],"written":[88],"more":[90],"sophisticated":[91],"languages.":[92],"On":[93],"basis":[95],"uselessness":[98],"arguments,":[101],"also":[103],"propose":[104],"an":[105],"erasure":[106],"procedure":[107],"which":[108,130],"may":[109],"avoid":[110],"wasteful":[111],"computations":[112],"while":[113],"still":[114],"preserving":[115],"semantics":[117],"(under":[118],"ascertained":[119],"conditions).":[120],"A":[121],"prototype":[122],"implementation":[123],"these":[125],"has":[127],"been":[128],"undertaken,":[129],"demonstrates":[131],"practicality":[133],"our":[135],"approach.":[136]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}