{"id":"https://openalex.org/W1999369580","doi":"https://doi.org/10.1145/1389449.1389463","title":"Order-sorted dependency pairs","display_name":"Order-sorted dependency pairs","publication_year":2008,"publication_date":"2008-07-15","ids":{"openalex":"https://openalex.org/W1999369580","doi":"https://doi.org/10.1145/1389449.1389463","mag":"1999369580"},"language":"en","primary_location":{"id":"doi:10.1145/1389449.1389463","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1389449.1389463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-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/A5012146310","display_name":"Salvador Lucas","orcid":"https://orcid.org/0000-0001-9923-2108"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Salvador Lucas","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Valencia, Spain","Universidad Politecnica de Valencia (Spain)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]},{"raw_affiliation_string":"Universidad Politecnica de Valencia (Spain)#TAB#","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102754614","display_name":"Jos\u00e9 Meseguer","orcid":"https://orcid.org/0000-0003-4779-3848"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Meseguer","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, IL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, IL","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.8775,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.95658098,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"108","last_page":"119"},"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.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.8262010812759399},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8094359636306763},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7827925682067871},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.7258460521697998},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.6520460844039917},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.59119713306427},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.5671110153198242},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5470269322395325},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.4623260796070099},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16320866346359253},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.10831901431083679},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.08029720187187195}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8262010812759399},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8094359636306763},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7827925682067871},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.7258460521697998},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.6520460844039917},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.59119713306427},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5671110153198242},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5470269322395325},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.4623260796070099},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16320866346359253},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.10831901431083679},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.08029720187187195},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1389449.1389463","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1389449.1389463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.147.8523","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.8523","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dsic.upv.es/~slucas/papers/ppdp08/ppdp08.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W91193428","https://openalex.org/W598205067","https://openalex.org/W1489107600","https://openalex.org/W1502436222","https://openalex.org/W1504007491","https://openalex.org/W1517103238","https://openalex.org/W1517590008","https://openalex.org/W1528050552","https://openalex.org/W1528430173","https://openalex.org/W1530752153","https://openalex.org/W1535546114","https://openalex.org/W1544079619","https://openalex.org/W1552961498","https://openalex.org/W1554657306","https://openalex.org/W1555815308","https://openalex.org/W1568838065","https://openalex.org/W1678943029","https://openalex.org/W1978279608","https://openalex.org/W2001932052","https://openalex.org/W2019496318","https://openalex.org/W2029176884","https://openalex.org/W2030433877","https://openalex.org/W2031515077","https://openalex.org/W2032825481","https://openalex.org/W2041799549","https://openalex.org/W2062950667","https://openalex.org/W2086747974","https://openalex.org/W2090855107","https://openalex.org/W2092636009","https://openalex.org/W2099083823","https://openalex.org/W2128101632","https://openalex.org/W2132847612","https://openalex.org/W2136514805","https://openalex.org/W2147892488","https://openalex.org/W2156964945","https://openalex.org/W2164290630","https://openalex.org/W2168096396","https://openalex.org/W2168393711","https://openalex.org/W2175061513","https://openalex.org/W4211016881","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2123064487","https://openalex.org/W2951141413","https://openalex.org/W4386436056","https://openalex.org/W2327631927","https://openalex.org/W2093568763","https://openalex.org/W1985166372","https://openalex.org/W2003096546","https://openalex.org/W2430210575","https://openalex.org/W4289354592","https://openalex.org/W2099112646"],"abstract_inverted_index":{"Types":[0],"(or":[1],"sorts)":[2],"are":[3,47],"pervasive":[4],"in":[5,9,22],"computer":[6],"science":[7],"and":[8,18,55,90],"rewritingbased":[10],"programming":[11],"languages,":[12],"which":[13],"often":[14,57],"support":[15],"subtypes":[16],"(subsorts)":[17],"subtype":[19],"polymorphism.":[20],"Programs":[21],"these":[23],"languages":[24],"can":[25,82],"be":[26],"modeled":[27],"as":[28],"order-sorted":[29],"term":[30],"rewriting":[31],"systems":[32],"(OS-TRSs).":[33],"Often,":[34],"termination":[35,52,73,92],"of":[36,53,74],"such":[37],"programs":[38],"heavily":[39],"depends":[40],"on":[41],"sort":[42],"information.":[43],"But":[44],"few":[45],"techniques":[46],"currently":[48],"available":[49],"for":[50,59],"proving":[51],"OS-TRSs;":[54],"they":[56],"fail":[58],"interesting":[60],"OS-TRSs.":[61,75],"In":[62],"this":[63,80],"paper":[64],"we":[65],"generalize":[66],"the":[67],"dependency":[68],"pairs":[69],"approach":[70],"to":[71],"prove":[72],"Preliminary":[76],"experiments":[77],"suggest":[78],"that":[79],"technique":[81],"succeed":[83],"where":[84],"existing":[85],"ones":[86],"fail,":[87],"yielding":[88],"easier":[89],"simpler":[91],"proofs":[93]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}