{"id":"https://openalex.org/W2124559137","doi":"https://doi.org/10.1145/1706356.1706367","title":"A fold/unfold transformation framework for rewrite theories extended to CCT","display_name":"A fold/unfold transformation framework for rewrite theories extended to CCT","publication_year":2010,"publication_date":"2010-01-18","ids":{"openalex":"https://openalex.org/W2124559137","doi":"https://doi.org/10.1145/1706356.1706367","mag":"2124559137"},"language":"en","primary_location":{"id":"doi:10.1145/1706356.1706367","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1706356.1706367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation","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/A5033696911","display_name":"Mar\u0131\u0301a Alpuente","orcid":"https://orcid.org/0000-0002-9268-1178"},"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":true,"raw_author_name":"Mar\u00eda Alpuente","raw_affiliation_strings":["Technical University of Valencia, Valencia, Spain","Technical Univ. of Valencia, Valencia, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Technical University of Valencia, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]},{"raw_affiliation_string":"Technical Univ. of Valencia, Valencia, Spain#TAB#","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020998049","display_name":"Demis Ballis","orcid":"https://orcid.org/0000-0002-1048-1739"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Demis Ballis","raw_affiliation_strings":["University of Udine, Udine, Italy","University of Udine, Udine, (Italy)"],"affiliations":[{"raw_affiliation_string":"University of Udine, Udine, Italy","institution_ids":["https://openalex.org/I129043915"]},{"raw_affiliation_string":"University of Udine, Udine, (Italy)","institution_ids":["https://openalex.org/I129043915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028591099","display_name":"Michele Baggi","orcid":null},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Baggi","raw_affiliation_strings":["University of Siena, Siena, Italy"],"affiliations":[{"raw_affiliation_string":"University of Siena, Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053216941","display_name":"Moreno Falaschi","orcid":"https://orcid.org/0000-0002-6659-3828"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Moreno Falaschi","raw_affiliation_strings":["University of Siena, Siena, Italy"],"affiliations":[{"raw_affiliation_string":"University of Siena, Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5033696911"],"corresponding_institution_ids":["https://openalex.org/I60053951"],"apc_list":null,"apc_paid":null,"fwci":4.5105,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.94644323,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"43","last_page":"52"},"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.9998999834060669,"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.9998999834060669,"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.998199999332428,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.8103249073028564},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.758368730545044},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7239462733268738},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.6497253179550171},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6213028430938721},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5800010561943054},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5602129101753235},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.5341702103614807},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.5019357204437256},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4674675464630127},{"id":"https://openalex.org/keywords/algebraic-specification","display_name":"Algebraic specification","score":0.4336256682872772},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.43290582299232483},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41658201813697815},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.21991723775863647},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16417646408081055},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10989543795585632}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8103249073028564},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.758368730545044},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7239462733268738},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.6497253179550171},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6213028430938721},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5800010561943054},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5602129101753235},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.5341702103614807},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5019357204437256},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4674675464630127},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.4336256682872772},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.43290582299232483},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41658201813697815},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.21991723775863647},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16417646408081055},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10989543795585632},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1706356.1706367","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1706356.1706367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation","raw_type":"proceedings-article"},{"id":"pmh:oai:air.uniud.it:11390/697824","is_oa":false,"landing_page_url":"http://hdl.handle.net/11390/697824","pdf_url":null,"source":{"id":"https://openalex.org/S4306401163","display_name":"Institutional Research Information System (University of Udine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129043915","host_organization_name":"University of Udine","host_organization_lineage":["https://openalex.org/I129043915"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"2.1 Contributo in volume (Capitolo o Saggio)"},{"id":"pmh:oai:usiena-air.unisi.it:11365/38418","is_oa":false,"landing_page_url":"http://hdl.handle.net/11365/38418","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W16194962","https://openalex.org/W99110181","https://openalex.org/W176905816","https://openalex.org/W254535413","https://openalex.org/W1480487311","https://openalex.org/W1504007491","https://openalex.org/W1519651380","https://openalex.org/W1531044637","https://openalex.org/W1541823905","https://openalex.org/W1567612444","https://openalex.org/W1572529976","https://openalex.org/W1576770735","https://openalex.org/W1891773423","https://openalex.org/W1976195354","https://openalex.org/W1988185893","https://openalex.org/W1988290118","https://openalex.org/W1991598919","https://openalex.org/W2001937661","https://openalex.org/W2009165202","https://openalex.org/W2009332552","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/W2091567516","https://openalex.org/W2094243107","https://openalex.org/W2117207972","https://openalex.org/W2126018011","https://openalex.org/W2141575885","https://openalex.org/W2147892488","https://openalex.org/W2158673451","https://openalex.org/W2166534619","https://openalex.org/W2462687788","https://openalex.org/W2592781533","https://openalex.org/W2914227004","https://openalex.org/W4211016881","https://openalex.org/W4234315090","https://openalex.org/W4238794324","https://openalex.org/W4285719527","https://openalex.org/W4388299483","https://openalex.org/W6678546657","https://openalex.org/W6734593737","https://openalex.org/W6759218616"],"related_works":["https://openalex.org/W2172102451","https://openalex.org/W2150815772","https://openalex.org/W2771385171","https://openalex.org/W1535189843","https://openalex.org/W1604988569","https://openalex.org/W2185674212","https://openalex.org/W158488805","https://openalex.org/W2004254124","https://openalex.org/W1494913990","https://openalex.org/W2185459925"],"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-based":[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-performance,":[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":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}