Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963540121> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2963540121 endingPage "312" @default.
- W2963540121 startingPage "299" @default.
- W2963540121 abstract "Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of rewrite systems; however its extension to higher-order rewrite systems is still the subject of active research. We observe that a variant of refinement types allows us to express a form of higher-order dependency pair method: from the rewrite system labeled with typing information, we build a type-level approximated dependency graph, and describe a type level embedding preorder. We describe a syntactic termination criterion involving the graph and the preorder, which generalizes the simple projection criterion of Middeldorp and Hirokawa, and prove our main result: if the graph passes the criterion, then every well-typed term is strongly normalizing." @default.
- W2963540121 created "2019-07-30" @default.
- W2963540121 creator A5090844192 @default.
- W2963540121 date "2011-05-30" @default.
- W2963540121 modified "2023-09-25" @default.
- W2963540121 title "Refinement Types as Higher-Order Dependency Pairs" @default.
- W2963540121 cites W1505308924 @default.
- W2963540121 cites W1508261706 @default.
- W2963540121 cites W1575675278 @default.
- W2963540121 cites W1596011221 @default.
- W2963540121 cites W1996857980 @default.
- W2963540121 cites W2001932052 @default.
- W2963540121 cites W2012002346 @default.
- W2963540121 cites W2030433877 @default.
- W2963540121 cites W2101085206 @default.
- W2963540121 cites W2118172707 @default.
- W2963540121 cites W2119852735 @default.
- W2963540121 cites W2139626883 @default.
- W2963540121 cites W2154829623 @default.
- W2963540121 cites W2166822586 @default.
- W2963540121 cites W2171496589 @default.
- W2963540121 cites W2522041776 @default.
- W2963540121 doi "https://doi.org/10.4230/lipics.rta.2011.299" @default.
- W2963540121 hasPublicationYear "2011" @default.
- W2963540121 type Work @default.
- W2963540121 sameAs 2963540121 @default.
- W2963540121 citedByCount "0" @default.
- W2963540121 crossrefType "proceedings-article" @default.
- W2963540121 hasAuthorship W2963540121A5090844192 @default.
- W2963540121 hasConcept C11413529 @default.
- W2963540121 hasConcept C118615104 @default.
- W2963540121 hasConcept C121332964 @default.
- W2963540121 hasConcept C132525143 @default.
- W2963540121 hasConcept C154945302 @default.
- W2963540121 hasConcept C16311509 @default.
- W2963540121 hasConcept C19768560 @default.
- W2963540121 hasConcept C2333172 @default.
- W2963540121 hasConcept C33923547 @default.
- W2963540121 hasConcept C41008148 @default.
- W2963540121 hasConcept C41608201 @default.
- W2963540121 hasConcept C61797465 @default.
- W2963540121 hasConcept C62520636 @default.
- W2963540121 hasConcept C80444323 @default.
- W2963540121 hasConceptScore W2963540121C11413529 @default.
- W2963540121 hasConceptScore W2963540121C118615104 @default.
- W2963540121 hasConceptScore W2963540121C121332964 @default.
- W2963540121 hasConceptScore W2963540121C132525143 @default.
- W2963540121 hasConceptScore W2963540121C154945302 @default.
- W2963540121 hasConceptScore W2963540121C16311509 @default.
- W2963540121 hasConceptScore W2963540121C19768560 @default.
- W2963540121 hasConceptScore W2963540121C2333172 @default.
- W2963540121 hasConceptScore W2963540121C33923547 @default.
- W2963540121 hasConceptScore W2963540121C41008148 @default.
- W2963540121 hasConceptScore W2963540121C41608201 @default.
- W2963540121 hasConceptScore W2963540121C61797465 @default.
- W2963540121 hasConceptScore W2963540121C62520636 @default.
- W2963540121 hasConceptScore W2963540121C80444323 @default.
- W2963540121 hasIssue "22" @default.
- W2963540121 hasLocation W29635401211 @default.
- W2963540121 hasOpenAccess W2963540121 @default.
- W2963540121 hasPrimaryLocation W29635401211 @default.
- W2963540121 hasRelatedWork W1523208067 @default.
- W2963540121 hasRelatedWork W1551222658 @default.
- W2963540121 hasRelatedWork W1583646664 @default.
- W2963540121 hasRelatedWork W1606654639 @default.
- W2963540121 hasRelatedWork W1858687778 @default.
- W2963540121 hasRelatedWork W2055129900 @default.
- W2963540121 hasRelatedWork W2119852735 @default.
- W2963540121 hasRelatedWork W2199924460 @default.
- W2963540121 hasRelatedWork W2215024654 @default.
- W2963540121 hasRelatedWork W2290698845 @default.
- W2963540121 hasRelatedWork W2610429226 @default.
- W2963540121 hasRelatedWork W2613210537 @default.
- W2963540121 hasRelatedWork W2797499459 @default.
- W2963540121 hasRelatedWork W2801225806 @default.
- W2963540121 hasRelatedWork W2950142876 @default.
- W2963540121 hasRelatedWork W2952763479 @default.
- W2963540121 hasRelatedWork W3001875841 @default.
- W2963540121 hasRelatedWork W3098578101 @default.
- W2963540121 hasRelatedWork W5060831 @default.
- W2963540121 hasRelatedWork W77447793 @default.
- W2963540121 hasVolume "10" @default.
- W2963540121 isParatext "false" @default.
- W2963540121 isRetracted "false" @default.
- W2963540121 magId "2963540121" @default.
- W2963540121 workType "article" @default.