Matches in SemOpenAlex for { <https://semopenalex.org/work/W2789543688> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2789543688 abstract "Terminating functional programs should be deterministic, i.e., should evaluate to a unique result, regardless of the evaluation order. For equational functional programs such determinism is exactly captured by the ground confluence property. For terminating equations this is equivalent to ground local confluence, which follows from local confluence. Checking local confluence by computing critical pairs is the standard way to check ground confluence. The problem is that some perfectly reasonable equational programs are not locally confluent and it can be very hard or even impossible to make them so by adding more equations. We propose a three-step strategy to prove that an equational program as is is ground confluent: First: apply the strategy proposed in [9] to use non-joinable critical pairs as completion hints to either achieve local confluence or reduce the number of critical pairs. Second: use the inductive inference system proposed in this paper to prove the remaining critical pairs ground joinable. Third: to show ground confluence of the original specification, prove also ground joinable the equations added. These methods apply to order-sorted and possibly conditional equational programs modulo axioms such as, e.g., Maude functional modules." @default.
- W2789543688 created "2018-03-29" @default.
- W2789543688 creator A5007839082 @default.
- W2789543688 creator A5016544041 @default.
- W2789543688 creator A5056784361 @default.
- W2789543688 date "2018-01-01" @default.
- W2789543688 modified "2023-09-23" @default.
- W2789543688 title "Proving Ground Confluence of Equational Specifications Modulo Axioms" @default.
- W2789543688 cites W1553416476 @default.
- W2789543688 cites W1586794044 @default.
- W2789543688 cites W1678943029 @default.
- W2789543688 cites W2019496318 @default.
- W2789543688 cites W2020190447 @default.
- W2789543688 cites W2029176884 @default.
- W2789543688 cites W2029227380 @default.
- W2789543688 cites W2158673451 @default.
- W2789543688 cites W2170798886 @default.
- W2789543688 cites W2282814833 @default.
- W2789543688 cites W2735861624 @default.
- W2789543688 cites W2789543688 @default.
- W2789543688 cites W4234315090 @default.
- W2789543688 cites W8691849 @default.
- W2789543688 cites W9401349 @default.
- W2789543688 cites W102151912 @default.
- W2789543688 doi "https://doi.org/10.1007/978-3-319-99840-4_11" @default.
- W2789543688 hasPublicationYear "2018" @default.
- W2789543688 type Work @default.
- W2789543688 sameAs 2789543688 @default.
- W2789543688 citedByCount "2" @default.
- W2789543688 countsByYear W27895436882018 @default.
- W2789543688 crossrefType "book-chapter" @default.
- W2789543688 hasAuthorship W2789543688A5007839082 @default.
- W2789543688 hasAuthorship W2789543688A5016544041 @default.
- W2789543688 hasAuthorship W2789543688A5056784361 @default.
- W2789543688 hasBestOaLocation W27895436882 @default.
- W2789543688 hasConcept C10138342 @default.
- W2789543688 hasConcept C111472728 @default.
- W2789543688 hasConcept C118615104 @default.
- W2789543688 hasConcept C138885662 @default.
- W2789543688 hasConcept C159333733 @default.
- W2789543688 hasConcept C162324750 @default.
- W2789543688 hasConcept C167729594 @default.
- W2789543688 hasConcept C182306322 @default.
- W2789543688 hasConcept C189950617 @default.
- W2789543688 hasConcept C199360897 @default.
- W2789543688 hasConcept C2524010 @default.
- W2789543688 hasConcept C28826006 @default.
- W2789543688 hasConcept C2987642246 @default.
- W2789543688 hasConcept C33923547 @default.
- W2789543688 hasConcept C41008148 @default.
- W2789543688 hasConcept C54732982 @default.
- W2789543688 hasConcept C77906462 @default.
- W2789543688 hasConceptScore W2789543688C10138342 @default.
- W2789543688 hasConceptScore W2789543688C111472728 @default.
- W2789543688 hasConceptScore W2789543688C118615104 @default.
- W2789543688 hasConceptScore W2789543688C138885662 @default.
- W2789543688 hasConceptScore W2789543688C159333733 @default.
- W2789543688 hasConceptScore W2789543688C162324750 @default.
- W2789543688 hasConceptScore W2789543688C167729594 @default.
- W2789543688 hasConceptScore W2789543688C182306322 @default.
- W2789543688 hasConceptScore W2789543688C189950617 @default.
- W2789543688 hasConceptScore W2789543688C199360897 @default.
- W2789543688 hasConceptScore W2789543688C2524010 @default.
- W2789543688 hasConceptScore W2789543688C28826006 @default.
- W2789543688 hasConceptScore W2789543688C2987642246 @default.
- W2789543688 hasConceptScore W2789543688C33923547 @default.
- W2789543688 hasConceptScore W2789543688C41008148 @default.
- W2789543688 hasConceptScore W2789543688C54732982 @default.
- W2789543688 hasConceptScore W2789543688C77906462 @default.
- W2789543688 hasLocation W27895436881 @default.
- W2789543688 hasLocation W27895436882 @default.
- W2789543688 hasOpenAccess W2789543688 @default.
- W2789543688 hasPrimaryLocation W27895436881 @default.
- W2789543688 hasRelatedWork W107197462 @default.
- W2789543688 hasRelatedWork W1503828605 @default.
- W2789543688 hasRelatedWork W1505655634 @default.
- W2789543688 hasRelatedWork W1521986062 @default.
- W2789543688 hasRelatedWork W1542464114 @default.
- W2789543688 hasRelatedWork W1586774579 @default.
- W2789543688 hasRelatedWork W1592756229 @default.
- W2789543688 hasRelatedWork W1606155280 @default.
- W2789543688 hasRelatedWork W1769930376 @default.
- W2789543688 hasRelatedWork W1871398709 @default.
- W2789543688 hasRelatedWork W2051991815 @default.
- W2789543688 hasRelatedWork W2079863845 @default.
- W2789543688 hasRelatedWork W2123757846 @default.
- W2789543688 hasRelatedWork W2129495011 @default.
- W2789543688 hasRelatedWork W2149640269 @default.
- W2789543688 hasRelatedWork W2463026518 @default.
- W2789543688 hasRelatedWork W2758285181 @default.
- W2789543688 hasRelatedWork W2908218469 @default.
- W2789543688 hasRelatedWork W379856439 @default.
- W2789543688 hasRelatedWork W8691849 @default.
- W2789543688 isParatext "false" @default.
- W2789543688 isRetracted "false" @default.
- W2789543688 magId "2789543688" @default.
- W2789543688 workType "book-chapter" @default.