Matches in SemOpenAlex for { <https://semopenalex.org/work/W2989726691> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2989726691 endingPage "100513" @default.
- W2989726691 startingPage "100513" @default.
- W2989726691 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 operationally terminating conditional 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 [33]. 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 three methods, called Methods 1–3, that can be synergistically combined to prove an order-sorted conditional specification modulo axioms B ground locally confluent. Method 1 applies the strategy proposed in [14] to use non-joinable critical pairs as completion hints to either achieve local confluence or reduce the number of critical pairs. Method 2 uses the inductive joinability inference system proposed in this paper to try to prove the critical pairs remaining after applying Method 1 ground joinable. It can furthermore show ground local confluence of the original specification. Method 3 is hierarchical in nature: it can be used to prove the ground local confluence of a conditional equational specification whose conditions belong to a subspecification that has already been proved ground confluent and operationally terminating, and that is conservatively extended by the overall specification in an appropriate sense. These methods apply to order-sorted and possibly conditional equational programs modulo axioms such as, e.g., Maude functional modules. We show their effectiveness in proving the ground confluence of non-trivial examples that have eluded previous proof attempts." @default.
- W2989726691 created "2019-12-05" @default.
- W2989726691 creator A5007839082 @default.
- W2989726691 creator A5016544041 @default.
- W2989726691 creator A5056784361 @default.
- W2989726691 date "2020-02-01" @default.
- W2989726691 modified "2023-10-16" @default.
- W2989726691 title "Ground confluence of order-sorted conditional specifications modulo axioms" @default.
- W2989726691 cites W1140833825 @default.
- W2989726691 cites W1991598919 @default.
- W2989726691 cites W2019496318 @default.
- W2989726691 cites W2020190447 @default.
- W2989726691 cites W2029176884 @default.
- W2989726691 cites W2029227380 @default.
- W2989726691 cites W2091448415 @default.
- W2989726691 cites W2170798886 @default.
- W2989726691 cites W2282814833 @default.
- W2989726691 cites W2316113835 @default.
- W2989726691 cites W2771728256 @default.
- W2989726691 cites W2791470433 @default.
- W2989726691 doi "https://doi.org/10.1016/j.jlamp.2019.100513" @default.
- W2989726691 hasPublicationYear "2020" @default.
- W2989726691 type Work @default.
- W2989726691 sameAs 2989726691 @default.
- W2989726691 citedByCount "5" @default.
- W2989726691 countsByYear W29897266912022 @default.
- W2989726691 countsByYear W29897266912023 @default.
- W2989726691 crossrefType "journal-article" @default.
- W2989726691 hasAuthorship W2989726691A5007839082 @default.
- W2989726691 hasAuthorship W2989726691A5016544041 @default.
- W2989726691 hasAuthorship W2989726691A5056784361 @default.
- W2989726691 hasBestOaLocation W29897266911 @default.
- W2989726691 hasConcept C10138342 @default.
- W2989726691 hasConcept C11413529 @default.
- W2989726691 hasConcept C118615104 @default.
- W2989726691 hasConcept C159333733 @default.
- W2989726691 hasConcept C162324750 @default.
- W2989726691 hasConcept C167729594 @default.
- W2989726691 hasConcept C182306322 @default.
- W2989726691 hasConcept C199360897 @default.
- W2989726691 hasConcept C2524010 @default.
- W2989726691 hasConcept C33923547 @default.
- W2989726691 hasConcept C41008148 @default.
- W2989726691 hasConcept C54732982 @default.
- W2989726691 hasConcept C77906462 @default.
- W2989726691 hasConceptScore W2989726691C10138342 @default.
- W2989726691 hasConceptScore W2989726691C11413529 @default.
- W2989726691 hasConceptScore W2989726691C118615104 @default.
- W2989726691 hasConceptScore W2989726691C159333733 @default.
- W2989726691 hasConceptScore W2989726691C162324750 @default.
- W2989726691 hasConceptScore W2989726691C167729594 @default.
- W2989726691 hasConceptScore W2989726691C182306322 @default.
- W2989726691 hasConceptScore W2989726691C199360897 @default.
- W2989726691 hasConceptScore W2989726691C2524010 @default.
- W2989726691 hasConceptScore W2989726691C33923547 @default.
- W2989726691 hasConceptScore W2989726691C41008148 @default.
- W2989726691 hasConceptScore W2989726691C54732982 @default.
- W2989726691 hasConceptScore W2989726691C77906462 @default.
- W2989726691 hasFunder F4320309955 @default.
- W2989726691 hasFunder F4320313934 @default.
- W2989726691 hasFunder F4320321091 @default.
- W2989726691 hasFunder F4320321837 @default.
- W2989726691 hasFunder F4320337628 @default.
- W2989726691 hasLocation W29897266911 @default.
- W2989726691 hasOpenAccess W2989726691 @default.
- W2989726691 hasPrimaryLocation W29897266911 @default.
- W2989726691 hasRelatedWork W1489181544 @default.
- W2989726691 hasRelatedWork W2129495011 @default.
- W2989726691 hasRelatedWork W2261261802 @default.
- W2989726691 hasRelatedWork W2789543688 @default.
- W2989726691 hasRelatedWork W2896684324 @default.
- W2989726691 hasRelatedWork W2902618432 @default.
- W2989726691 hasRelatedWork W2989726691 @default.
- W2989726691 hasRelatedWork W4289376687 @default.
- W2989726691 hasRelatedWork W43855031 @default.
- W2989726691 hasRelatedWork W2585250070 @default.
- W2989726691 hasVolume "111" @default.
- W2989726691 isParatext "false" @default.
- W2989726691 isRetracted "false" @default.
- W2989726691 magId "2989726691" @default.
- W2989726691 workType "article" @default.