Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994644428> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1994644428 endingPage "38" @default.
- W1994644428 startingPage "27" @default.
- W1994644428 abstract "Generalization, also called anti-unification, is the dual of unification. Given terms t and t′, a generalization is a term t″ of which t and t′ are substitution instances. The dual of a most general unifier (mgu) is that of least general generalization (lgg). In this work, we extend the known untyped generalization algorithm to an order-sorted typed setting with sorts, subsorts, and subtype polymorphism. Unlike the untyped case, there is in general no single lgg. Instead, there is a finite, minimal set of lggs, so that any other generalization has at least one of them as an instance. Our generalization algorithm is expressed by means of an inference system for which we give a proof of correctness. This opens up new applications to partial evaluation, program synthesis, and theorem proving for typed reasoning systems and typed rule-based languages such as ASF+SDF, Elan, OBJ, Cafe-OBJ, and Maude." @default.
- W1994644428 created "2016-06-24" @default.
- W1994644428 creator A5007839082 @default.
- W1994644428 creator A5032149189 @default.
- W1994644428 creator A5033696911 @default.
- W1994644428 creator A5048134271 @default.
- W1994644428 date "2009-08-01" @default.
- W1994644428 modified "2023-10-15" @default.
- W1994644428 title "Order-Sorted Generalization" @default.
- W1994644428 cites W1678943029 @default.
- W1994644428 cites W1976195354 @default.
- W1994644428 cites W2031327296 @default.
- W1994644428 cites W2042587746 @default.
- W1994644428 cites W2113722134 @default.
- W1994644428 cites W2116776985 @default.
- W1994644428 cites W2147892488 @default.
- W1994644428 cites W2914314632 @default.
- W1994644428 doi "https://doi.org/10.1016/j.entcs.2009.07.013" @default.
- W1994644428 hasPublicationYear "2009" @default.
- W1994644428 type Work @default.
- W1994644428 sameAs 1994644428 @default.
- W1994644428 citedByCount "21" @default.
- W1994644428 countsByYear W19946444282012 @default.
- W1994644428 countsByYear W19946444282013 @default.
- W1994644428 countsByYear W19946444282014 @default.
- W1994644428 countsByYear W19946444282015 @default.
- W1994644428 countsByYear W19946444282016 @default.
- W1994644428 countsByYear W19946444282020 @default.
- W1994644428 countsByYear W19946444282021 @default.
- W1994644428 countsByYear W19946444282022 @default.
- W1994644428 countsByYear W19946444282023 @default.
- W1994644428 crossrefType "journal-article" @default.
- W1994644428 hasAuthorship W1994644428A5007839082 @default.
- W1994644428 hasAuthorship W1994644428A5032149189 @default.
- W1994644428 hasAuthorship W1994644428A5033696911 @default.
- W1994644428 hasAuthorship W1994644428A5048134271 @default.
- W1994644428 hasBestOaLocation W19946444281 @default.
- W1994644428 hasConcept C118615104 @default.
- W1994644428 hasConcept C134306372 @default.
- W1994644428 hasConcept C136119220 @default.
- W1994644428 hasConcept C177148314 @default.
- W1994644428 hasConcept C177264268 @default.
- W1994644428 hasConcept C199360897 @default.
- W1994644428 hasConcept C202444582 @default.
- W1994644428 hasConcept C33923547 @default.
- W1994644428 hasConcept C41008148 @default.
- W1994644428 hasConcept C55439883 @default.
- W1994644428 hasConcept C96146094 @default.
- W1994644428 hasConceptScore W1994644428C118615104 @default.
- W1994644428 hasConceptScore W1994644428C134306372 @default.
- W1994644428 hasConceptScore W1994644428C136119220 @default.
- W1994644428 hasConceptScore W1994644428C177148314 @default.
- W1994644428 hasConceptScore W1994644428C177264268 @default.
- W1994644428 hasConceptScore W1994644428C199360897 @default.
- W1994644428 hasConceptScore W1994644428C202444582 @default.
- W1994644428 hasConceptScore W1994644428C33923547 @default.
- W1994644428 hasConceptScore W1994644428C41008148 @default.
- W1994644428 hasConceptScore W1994644428C55439883 @default.
- W1994644428 hasConceptScore W1994644428C96146094 @default.
- W1994644428 hasLocation W19946444281 @default.
- W1994644428 hasLocation W19946444282 @default.
- W1994644428 hasOpenAccess W1994644428 @default.
- W1994644428 hasPrimaryLocation W19946444281 @default.
- W1994644428 hasRelatedWork W1516169988 @default.
- W1994644428 hasRelatedWork W1517743118 @default.
- W1994644428 hasRelatedWork W2024218563 @default.
- W1994644428 hasRelatedWork W2072806201 @default.
- W1994644428 hasRelatedWork W2166247150 @default.
- W1994644428 hasRelatedWork W2281090687 @default.
- W1994644428 hasRelatedWork W2392722258 @default.
- W1994644428 hasRelatedWork W2965845133 @default.
- W1994644428 hasRelatedWork W4243252198 @default.
- W1994644428 hasRelatedWork W1670831115 @default.
- W1994644428 hasVolume "246" @default.
- W1994644428 isParatext "false" @default.
- W1994644428 isRetracted "false" @default.
- W1994644428 magId "1994644428" @default.
- W1994644428 workType "article" @default.