{"id":"https://openalex.org/W133886833","doi":"https://doi.org/10.1016/s1571-0661(05)80137-9","title":"Towards Maude 2.0","display_name":"Towards Maude 2.0","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W133886833","doi":"https://doi.org/10.1016/s1571-0661(05)80137-9","mag":"133886833"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80137-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80137-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80137-9","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017911143","display_name":"M. Clave","orcid":null},"institutions":[{"id":"https://openalex.org/I88155538","display_name":"Universidad de Navarra","ror":"https://ror.org/02rxc7m23","country_code":"ES","type":"education","lineage":["https://openalex.org/I88155538"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"M. Clave","raw_affiliation_strings":["Departamento de Filosofia, Universidad de Navarra, Spain","Departamento de Filosof\u00eda, Universidad de Navarra, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Filosofia, Universidad de Navarra, Spain","institution_ids":["https://openalex.org/I88155538"]},{"raw_affiliation_string":"Departamento de Filosof\u00eda, Universidad de Navarra, Spain","institution_ids":["https://openalex.org/I88155538"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016544041","display_name":"Francisco Dur\u00e1n","orcid":"https://orcid.org/0000-0001-5864-8094"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"F. Dur\u00e1n","raw_affiliation_strings":["ETSII, Universidad de Malag\u00b4, Spain"],"affiliations":[{"raw_affiliation_string":"ETSII, Universidad de Malag\u00b4, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019436123","display_name":"Steven Eker","orcid":"https://orcid.org/0000-0001-9154-262X"},"institutions":[{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]},{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Eker","raw_affiliation_strings":["SRI International, Menlo Park, California, USA","SRI International, Menlo Park California USA"],"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, California, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI International, Menlo Park California USA","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003908930","display_name":"Patrick Lincoln","orcid":null},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Lincoln","raw_affiliation_strings":["SRI International, Menlo Park, California, USA","SRI International, Menlo Park California USA"],"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, California, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI International, Menlo Park California USA","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034342549","display_name":"Narciso Mart\u0131\u0301-Oliet","orcid":"https://orcid.org/0000-0002-6576-762X"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"N. Mart\u00ed-Oliet","raw_affiliation_strings":["dFacultad de Matem\u00e1ticas, Universidad Complutense, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"dFacultad de Matem\u00e1ticas, Universidad Complutense, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102754614","display_name":"Jos\u00e9 Meseguer","orcid":"https://orcid.org/0000-0003-4779-3848"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Meseguer","raw_affiliation_strings":["SRI International, Menlo Park, California, USA","SRI International, Menlo Park California USA"],"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, California, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI International, Menlo Park California USA","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044845195","display_name":"Jos\u00e9 F. Quesada","orcid":"https://orcid.org/0009-0001-8305-2169"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J.F. Quesada","raw_affiliation_strings":["eCentro de Inform\u00e1tica Cient\u00edfica de Andaluc\u00eda, Sevilla, Spain"],"affiliations":[{"raw_affiliation_string":"eCentro de Inform\u00e1tica Cient\u00edfica de Andaluc\u00eda, Sevilla, Spain","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5017911143"],"corresponding_institution_ids":["https://openalex.org/I88155538"],"apc_list":null,"apc_paid":null,"fwci":11.278,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.98303151,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"36","issue":null,"first_page":"294","last_page":"315"},"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.9995999932289124,"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.9995999932289124,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987999796867371,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8266710638999939},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7380111217498779},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6879064440727234},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5895070433616638},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.46217766404151917},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4325661361217499},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4283060133457184}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8266710638999939},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7380111217498779},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6879064440727234},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5895070433616638},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.46217766404151917},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4325661361217499},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4283060133457184},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80137-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80137-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80137-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80137-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5099999904632568,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W21307445","https://openalex.org/W85177704","https://openalex.org/W90258948","https://openalex.org/W176905816","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1573955430","https://openalex.org/W1587138807","https://openalex.org/W1668251188","https://openalex.org/W1871146779","https://openalex.org/W1947340688","https://openalex.org/W1976195354","https://openalex.org/W1991598919","https://openalex.org/W1996804992","https://openalex.org/W2020923285","https://openalex.org/W2068264849","https://openalex.org/W2098522119","https://openalex.org/W2115773332","https://openalex.org/W2134287022","https://openalex.org/W2406555899","https://openalex.org/W2610018835","https://openalex.org/W3020973583","https://openalex.org/W4210856437","https://openalex.org/W6607223778","https://openalex.org/W6635068521","https://openalex.org/W6639351359","https://openalex.org/W6640775687","https://openalex.org/W6648949154","https://openalex.org/W6667598245","https://openalex.org/W6675062985","https://openalex.org/W6676896160","https://openalex.org/W6713910368"],"related_works":["https://openalex.org/W2045049461","https://openalex.org/W4381094582","https://openalex.org/W1978893398","https://openalex.org/W1977906818","https://openalex.org/W2201908702","https://openalex.org/W2369625323","https://openalex.org/W2764317176","https://openalex.org/W2168393711","https://openalex.org/W2099473324","https://openalex.org/W3012836300"],"abstract_inverted_index":{"Maude":[0,8,15,101,126,209],"2.0":[1],"is":[2,121,157],"the":[3,7,71,86,125,207],"new":[4,58,145,149,155,188],"version":[5],"of":[6,33,57,67,74,89,118,144,191],"rewriting":[9,72],"logic":[10,66,73],"language":[11],"currently":[12],"under":[13],"development.":[14],"2.0's":[16],"three":[17],"main":[18],"goals":[19],"are:":[20],"(i)":[21],"greater":[22],"generality":[23],"and":[24,36,47,70,85,94,110,174,196],"expressiveness;":[25],"(ii)":[26],"efficient":[27],"support":[28,113,185],"for":[29,43,114,186],"a":[30,40,55,115,138,142,153,187,201],"wider":[31,116],"range":[32,117],"programming":[34,46,119,193],"applications;":[35],"(iii)":[37],"usability":[38],"as":[39,169,200],"key":[41,154,202],"component":[42],"developing":[44],"internet":[45,175,180,192],"mobile":[48],"computing":[49],"systems.":[50],"To":[51],"meet":[52],"these":[53],"goals,":[54],"number":[56],"features":[59],"have":[60],"been":[61],"added.":[62],"The":[63],"membership":[64],"equational":[65],"functional":[68,151],"modules":[69,76,91,160],"system":[75],"are":[77,102],"now":[78],"supported":[79],"in":[80,99,194],"their":[81],"greatest":[82],"possible":[83],"generality,":[84],"operational":[87],"semantics":[88],"object-oriented":[90,159],"guarantees":[92],"object":[93],"message":[95],"fairness.":[96],"Module":[97],"operations":[98],"Full":[100],"also":[103],"more":[104],"general":[105],"thanks":[106],"to":[107,131,205],"parameterized":[108],"theories":[109],"views.":[111],"Efficient":[112],"applications":[120],"provided":[122],"both":[123],"by":[124,141],"compiler\u2014which":[127],"can":[128],"reach":[129],"up":[130],"15":[132],"million":[133],"rewrites":[134],"per":[135],"second":[136],"on":[137],"667MHz":[139],"Xeon\u2014and":[140],"library":[143],"built-in":[146,150,158,179],"modules.":[147],"Besides":[148],"modules,":[152],"feature":[156],"that":[161],"provide":[162,183],"flexible":[163],"interaction":[164],"with":[165],"external":[166],"objects":[167],"such":[168],"file":[170],"systems,":[171,173],"window":[172],"sockets.":[176],"In":[177],"particular,":[178],"sockets":[181],"will":[182,197],"excellent":[184],"declarative":[189],"style":[190],"Maude,":[195],"be":[198],"used":[199],"building":[203],"block":[204],"implement":[206],"Mobile":[208],"language.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}