{"id":"https://openalex.org/W2185459925","doi":null,"title":"A Fold/Unfold Transformation Framework for Rewrite Theories and its Application to CCT Technical Report","display_name":"A Fold/Unfold Transformation Framework for Rewrite Theories and its Application to CCT Technical Report","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2185459925","mag":"2185459925"},"language":"en","primary_location":{"id":"mag:2185459925","doi":null,"is_oa":false,"landing_page_url":"http://www.dsic.upv.es/docs/bib-dig/informes/etd-11102009-153836/pepm10TechRep.pdf","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},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5020998049","display_name":"Demis Ballis","orcid":"https://orcid.org/0000-0002-1048-1739","observed_orcids":["https://orcid.org/0000-0002-1048-1739"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Demis Ballis","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-1048-1739","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028591099","display_name":"Michele Baggi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michele Baggi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5053216941","display_name":"Moreno Falaschi","orcid":"https://orcid.org/0000-0002-6659-3828","observed_orcids":["https://orcid.org/0000-0002-6659-3828"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Moreno Falaschi","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6659-3828","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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.9980000257492065,"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.9980000257492065,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0005000000237487257,"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/T10142","display_name":"Formal Methods in Verification","score":0.00019999999494757503,"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/rewriting-logic","display_name":"rewriting logic","score":0.8840000033378601},{"id":"https://openalex.org/keywords/narrowing","display_name":"narrowing","score":0.9490000009536743},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.7549999952316284},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"program synthesis","score":0.6549999713897705},{"id":"https://openalex.org/keywords/program-specialization","display_name":"program specialization","score":0.753000020980835},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.8349999785423279},{"id":"https://openalex.org/keywords/algebraic-laws","display_name":"algebraic laws","score":0.6850000023841858},{"id":"https://openalex.org/keywords/transformation-correctness","display_name":"transformation correctness","score":0.5920000076293945},{"id":"https://openalex.org/keywords/maude","display_name":"Maude","score":0.656000018119812}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7994204759597778},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7627236247062683},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6690967082977295},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.6335530281066895},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5762865543365479},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5723689198493958},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5519091486930847},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4578688144683838},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.45427024364471436},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.42683878540992737},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.412533164024353},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38914385437965393},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18588829040527344},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12103989720344543},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"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/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2185459925","doi":null,"is_oa":false,"landing_page_url":"http://www.dsic.upv.es/docs/bib-dig/informes/etd-11102009-153836/pepm10TechRep.pdf","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":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W16194962","https://openalex.org/W99110181","https://openalex.org/W176905816","https://openalex.org/W342371003","https://openalex.org/W1519651380","https://openalex.org/W1531044637","https://openalex.org/W1976195354","https://openalex.org/W1988185893","https://openalex.org/W1991598919","https://openalex.org/W2001937661","https://openalex.org/W2009165202","https://openalex.org/W2019962118","https://openalex.org/W2023299380","https://openalex.org/W2027685350","https://openalex.org/W2034711041","https://openalex.org/W2036481185","https://openalex.org/W2037237472","https://openalex.org/W2042987983","https://openalex.org/W2067776455","https://openalex.org/W2077112490","https://openalex.org/W2094243107","https://openalex.org/W2126018011","https://openalex.org/W2141575885","https://openalex.org/W2147892488","https://openalex.org/W2158673451","https://openalex.org/W2166534619","https://openalex.org/W2462687788"],"related_works":["https://openalex.org/W2124559137","https://openalex.org/W2171824721","https://openalex.org/W7043857493","https://openalex.org/W7006537581","https://openalex.org/W2045750726","https://openalex.org/W4254423281","https://openalex.org/W1497657319","https://openalex.org/W7095189532","https://openalex.org/W7099056181","https://openalex.org/W822635201"],"abstract_inverted_index":{"Many":[0],"transformation":[1,23,45,71,84,155,187],"systems":[2],"for":[3,25,69,102],"program":[4,6,9,186],"optimization,":[5],"synthesis,":[7],"and":[8,57,63,123,138],"specialization":[10],"are":[11],"based":[12,31],"on":[13,32],"fold/unfold":[14,44],"transformations.":[15],"In":[16],"this":[17,40],"paper,":[18],"we":[19,80],"present":[20],"a":[21,92,108,111,115,152,162],"fold/unfold\u2010based":[22],"framework":[24,46,188],"rewriting":[26,192],"logic":[27,193],"theories":[28],"which":[29,47,157],"is":[30,41,99,125],"narrowing.":[33],"For":[34],"the":[35,42,70,74,119,128,131,148,176,185,190,204,207],"best":[36],"of":[37,76,105,121,151,154,184,199,203,209],"our":[38,83,146,210],"knowledge,":[39],"first":[43],"allows":[48],"one":[49],"to":[50,90,110,130,161,168],"deal":[51],"with":[52,175],"functions,":[53],"rules,":[54],"equations,":[55],"sorts,":[56],"algebraic":[58],"laws":[59],"(such":[60],"as":[61],"commutativity":[62],"associativity).":[64],"We":[65,179],"provide":[66,181],"correctness":[67],"results":[68],"system":[72],"w.r.t.":[73],"semantics":[75],"ground":[77],"reducts.":[78],"Moreover,":[79],"show":[81],"how":[82],"technique":[85],"can":[86,134,158],"be":[87,159],"naturally":[88],"applied":[89,160],"implement":[91],"Code":[93],"Carrying":[94],"Theory":[95],"(CCT)":[96],"system.":[97],"CCT":[98],"an":[100,182,200],"approach":[101],"securing":[103],"delivery":[104],"code":[106,142,172],"from":[107,127,143],"producer":[109,129],"consumer":[112,132,164],"where":[113],"only":[114],"certificate":[116,149],"(usually":[117],"in":[118,166,173,189],"form":[120],"assertions":[122],"proofs)":[124],"transmitted":[126],"who":[133],"check":[135],"its":[136],"validity":[137],"then":[139],"extract":[140],"executable":[141],"it.":[144],"Within":[145],"framework,":[147],"consists":[150],"sequence":[153],"steps":[156],"given":[163],"specification":[165],"order":[167],"automatically":[169],"synthesize":[170],"safe":[171],"agreement":[174],"original":[177],"requirements.":[178],"also":[180],"implementation":[183],"high\u2010performance,":[191],"language":[194],"Maude":[195],"which,":[196],"by":[197],"means":[198],"experimental":[201],"evaluation":[202],"system,":[205],"highlights":[206],"potentiality":[208],"approach.":[211]},"counts_by_year":[],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}