Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288079427> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4288079427 abstract "Dedukti is a type-checker for the $lambda$$Pi$-calculus modulo rewriting, an extension of Edinburgh's logicalframework LF where functions and type symbols can be defined by rewrite rules. It thereforecontains an engine for rewriting LF terms and types according to the rewrite rules given by the user.A key component of this engine is the matching algorithm to find which rules can be fired. In thispaper, we describe the class of rewrite rules supported by Dedukti and the new implementation ofthe matching algorithm. Dedukti supports non-linear rewrite rules on terms with binders usinghigher-order pattern-matching as in Combinatory Reduction Systems (CRS). The new matchingalgorithm extends the technique of decision trees introduced by Luc Maranget in the OCamlcompiler to this more general context." @default.
- W4288079427 created "2022-07-28" @default.
- W4288079427 creator A5008794714 @default.
- W4288079427 creator A5074831332 @default.
- W4288079427 date "2020-06-29" @default.
- W4288079427 modified "2023-10-16" @default.
- W4288079427 title "The New Rewriting Engine of Dedukti" @default.
- W4288079427 doi "https://doi.org/10.4230/lipics.fscd.2020.35" @default.
- W4288079427 hasPublicationYear "2020" @default.
- W4288079427 type Work @default.
- W4288079427 citedByCount "2" @default.
- W4288079427 countsByYear W42880794272021 @default.
- W4288079427 countsByYear W42880794272022 @default.
- W4288079427 crossrefType "proceedings-article" @default.
- W4288079427 hasAuthorship W4288079427A5008794714 @default.
- W4288079427 hasAuthorship W4288079427A5074831332 @default.
- W4288079427 hasBestOaLocation W42880794271 @default.
- W4288079427 hasConcept C105795698 @default.
- W4288079427 hasConcept C111335779 @default.
- W4288079427 hasConcept C11413529 @default.
- W4288079427 hasConcept C118615104 @default.
- W4288079427 hasConcept C151730666 @default.
- W4288079427 hasConcept C154690210 @default.
- W4288079427 hasConcept C165064840 @default.
- W4288079427 hasConcept C199360897 @default.
- W4288079427 hasConcept C2524010 @default.
- W4288079427 hasConcept C2778029271 @default.
- W4288079427 hasConcept C2779343474 @default.
- W4288079427 hasConcept C33923547 @default.
- W4288079427 hasConcept C41008148 @default.
- W4288079427 hasConcept C54732982 @default.
- W4288079427 hasConcept C68859911 @default.
- W4288079427 hasConcept C80444323 @default.
- W4288079427 hasConcept C86803240 @default.
- W4288079427 hasConceptScore W4288079427C105795698 @default.
- W4288079427 hasConceptScore W4288079427C111335779 @default.
- W4288079427 hasConceptScore W4288079427C11413529 @default.
- W4288079427 hasConceptScore W4288079427C118615104 @default.
- W4288079427 hasConceptScore W4288079427C151730666 @default.
- W4288079427 hasConceptScore W4288079427C154690210 @default.
- W4288079427 hasConceptScore W4288079427C165064840 @default.
- W4288079427 hasConceptScore W4288079427C199360897 @default.
- W4288079427 hasConceptScore W4288079427C2524010 @default.
- W4288079427 hasConceptScore W4288079427C2778029271 @default.
- W4288079427 hasConceptScore W4288079427C2779343474 @default.
- W4288079427 hasConceptScore W4288079427C33923547 @default.
- W4288079427 hasConceptScore W4288079427C41008148 @default.
- W4288079427 hasConceptScore W4288079427C54732982 @default.
- W4288079427 hasConceptScore W4288079427C68859911 @default.
- W4288079427 hasConceptScore W4288079427C80444323 @default.
- W4288079427 hasConceptScore W4288079427C86803240 @default.
- W4288079427 hasLocation W42880794271 @default.
- W4288079427 hasLocation W42880794272 @default.
- W4288079427 hasLocation W42880794273 @default.
- W4288079427 hasLocation W42880794274 @default.
- W4288079427 hasOpenAccess W4288079427 @default.
- W4288079427 hasPrimaryLocation W42880794271 @default.
- W4288079427 hasRelatedWork W1462102326 @default.
- W4288079427 hasRelatedWork W1548342449 @default.
- W4288079427 hasRelatedWork W1796293478 @default.
- W4288079427 hasRelatedWork W2120204135 @default.
- W4288079427 hasRelatedWork W2139396251 @default.
- W4288079427 hasRelatedWork W3210429500 @default.
- W4288079427 hasRelatedWork W3217252310 @default.
- W4288079427 hasRelatedWork W4286894112 @default.
- W4288079427 hasRelatedWork W4312716460 @default.
- W4288079427 hasRelatedWork W4386363566 @default.
- W4288079427 isParatext "false" @default.
- W4288079427 isRetracted "false" @default.
- W4288079427 workType "article" @default.