{"id":"https://openalex.org/W2085334140","doi":"https://doi.org/10.1145/1273920.1273945","title":"Unfolding in CHR","display_name":"Unfolding in CHR","publication_year":2007,"publication_date":"2007-07-14","ids":{"openalex":"https://openalex.org/W2085334140","doi":"https://doi.org/10.1145/1273920.1273945","mag":"2085334140"},"language":"en","primary_location":{"id":"doi:10.1145/1273920.1273945","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273920.1273945","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"conference-paper","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/A5067496201","display_name":"Paolo Tacchella","orcid":null},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Tacchella","raw_affiliation_strings":["Universit\u00e0 di Bologna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Bologna","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025039355","display_name":"Maurizio Gabbrielli","orcid":"https://orcid.org/0000-0003-0609-8662"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maurizio Gabbrielli","raw_affiliation_strings":["Universit\u00e0 di Bologna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Bologna","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028249343","display_name":"Maria Chiara Meo","orcid":"https://orcid.org/0000-0002-3700-3788"},"institutions":[{"id":"https://openalex.org/I39387349","display_name":"University of Chieti-Pescara","ror":"https://ror.org/00qjgza05","country_code":"IT","type":"education","lineage":["https://openalex.org/I39387349"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Chiara Meo","raw_affiliation_strings":["Universit\u00e0 di Chieti"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Chieti","institution_ids":["https://openalex.org/I39387349"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6857,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.83889008,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"179","last_page":"186"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7754366397857666},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7025766968727112},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.6853739023208618},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6764781475067139},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6194802522659302},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6031249165534973},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4967706799507141},{"id":"https://openalex.org/keywords/semantic-equivalence","display_name":"Semantic equivalence","score":0.44037970900535583},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34936147928237915},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.273284912109375},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.19065308570861816},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15619421005249023},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.06455549597740173}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7754366397857666},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7025766968727112},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.6853739023208618},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6764781475067139},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6194802522659302},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6031249165534973},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4967706799507141},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.44037970900535583},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34936147928237915},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.273284912109375},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.19065308570861816},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15619421005249023},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.06455549597740173},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1273920.1273945","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273920.1273945","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320325530","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W52128144","https://openalex.org/W111983189","https://openalex.org/W1498867194","https://openalex.org/W1499633535","https://openalex.org/W1504803856","https://openalex.org/W1515441675","https://openalex.org/W1531044637","https://openalex.org/W1532345228","https://openalex.org/W1556786566","https://openalex.org/W1572583274","https://openalex.org/W1979290890","https://openalex.org/W2021515159","https://openalex.org/W2023299380","https://openalex.org/W2041934467","https://openalex.org/W2044712166","https://openalex.org/W2079333278","https://openalex.org/W2144960539","https://openalex.org/W2561675875","https://openalex.org/W2913288853","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2359839876","https://openalex.org/W2351199381","https://openalex.org/W2350507609","https://openalex.org/W4389627614","https://openalex.org/W2751871493","https://openalex.org/W3134473559","https://openalex.org/W1532167182","https://openalex.org/W2158595452","https://openalex.org/W2755827507","https://openalex.org/W114260088"],"abstract_inverted_index":{"Program":[0],"transformation":[1,49,74],"is":[2,44,51,67],"an":[3],"appealing":[4],"technique":[5],"which":[6,31,43,53],"allows":[7],"to":[8,16,91],"improve":[9],"run-time":[10],"efficiency,":[11],"space-consumption":[12],"and":[13,75],"more":[14],"generally":[15],"optimize":[17],"a":[18,25,59,68],"given":[19],"program.":[20],"Essentially":[21],"it":[22],"consists":[23,54],"of":[24,27,35,39,58,71,77,94,102],"sequence":[26],"syntactic":[28],"program":[29,48],"manipulations":[30],"preserves":[32],"some":[33],"kind":[34],"semantic":[36],"equivalence.":[37],"One":[38],"the":[40,56,92],"basic":[41],"operations":[42],"used":[45],"by":[46,62],"most":[47],"systems":[50],"unfolding":[52,76,101],"in":[55],"replacement":[57],"procedure":[60],"call":[61],"its":[63],"definition.":[64],"While":[65],"there":[66],"large":[69],"body":[70],"literature":[72],"on":[73],"sequential":[78],"programs,":[79],"very":[80],"few":[81],"papers":[82],"have":[83],"addressed":[84],"this":[85],"issue":[86],"for":[87],"concurrent":[88],"languages":[89],"and,":[90],"best":[93],"our":[95],"knowledge,":[96],"no":[97],"one":[98],"has":[99],"considered":[100],"CHR":[103],"programs.":[104]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}