Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301454872> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4301454872 abstract "Many automatic theorem-provers rely on rewriting. Using theorems as rewrite rules helps to simplify the subgoals that arise during a proof. LCF is an interactive theorem-prover intended for reasoning about computation. Its implementation of rewriting is presented in detail. LCF provides a family of rewriting functions, and operators to combine them. A succession of functions is described, from pattern matching primitives to the rewriting tool that performs most inferences in LCF proofs. The design is highly modular. Each function performs a basic, specific task, such as recognizing a certain form of tautology. Each operator implements one method of building a rewriting function from simpler ones. These pieces can be put together in numerous ways, yielding a variety of rewrit- ing strategies. The approach involves programming with higher-order functions. Rewriting functions are data values, produced by computation on other rewriting functions. The code is in daily use at Cambridge, demonstrating the practical use of functional programming." @default.
- W4301454872 created "2022-10-05" @default.
- W4301454872 creator A5086565312 @default.
- W4301454872 date "2001-03-28" @default.
- W4301454872 modified "2023-09-25" @default.
- W4301454872 title "A Higher-Order Implementation of Rewriting" @default.
- W4301454872 doi "https://doi.org/10.48550/arxiv.cs/9301108" @default.
- W4301454872 hasPublicationYear "2001" @default.
- W4301454872 type Work @default.
- W4301454872 citedByCount "0" @default.
- W4301454872 crossrefType "posted-content" @default.
- W4301454872 hasAuthorship W4301454872A5086565312 @default.
- W4301454872 hasBestOaLocation W43014548721 @default.
- W4301454872 hasConcept C104317684 @default.
- W4301454872 hasConcept C108710211 @default.
- W4301454872 hasConcept C14036430 @default.
- W4301454872 hasConcept C154690210 @default.
- W4301454872 hasConcept C158448853 @default.
- W4301454872 hasConcept C159718280 @default.
- W4301454872 hasConcept C17020691 @default.
- W4301454872 hasConcept C185592680 @default.
- W4301454872 hasConcept C199360897 @default.
- W4301454872 hasConcept C206880738 @default.
- W4301454872 hasConcept C2524010 @default.
- W4301454872 hasConcept C2778361913 @default.
- W4301454872 hasConcept C33923547 @default.
- W4301454872 hasConcept C41008148 @default.
- W4301454872 hasConcept C42383842 @default.
- W4301454872 hasConcept C55493867 @default.
- W4301454872 hasConcept C77906462 @default.
- W4301454872 hasConcept C78458016 @default.
- W4301454872 hasConcept C80444323 @default.
- W4301454872 hasConcept C86339819 @default.
- W4301454872 hasConcept C86803240 @default.
- W4301454872 hasConceptScore W4301454872C104317684 @default.
- W4301454872 hasConceptScore W4301454872C108710211 @default.
- W4301454872 hasConceptScore W4301454872C14036430 @default.
- W4301454872 hasConceptScore W4301454872C154690210 @default.
- W4301454872 hasConceptScore W4301454872C158448853 @default.
- W4301454872 hasConceptScore W4301454872C159718280 @default.
- W4301454872 hasConceptScore W4301454872C17020691 @default.
- W4301454872 hasConceptScore W4301454872C185592680 @default.
- W4301454872 hasConceptScore W4301454872C199360897 @default.
- W4301454872 hasConceptScore W4301454872C206880738 @default.
- W4301454872 hasConceptScore W4301454872C2524010 @default.
- W4301454872 hasConceptScore W4301454872C2778361913 @default.
- W4301454872 hasConceptScore W4301454872C33923547 @default.
- W4301454872 hasConceptScore W4301454872C41008148 @default.
- W4301454872 hasConceptScore W4301454872C42383842 @default.
- W4301454872 hasConceptScore W4301454872C55493867 @default.
- W4301454872 hasConceptScore W4301454872C77906462 @default.
- W4301454872 hasConceptScore W4301454872C78458016 @default.
- W4301454872 hasConceptScore W4301454872C80444323 @default.
- W4301454872 hasConceptScore W4301454872C86339819 @default.
- W4301454872 hasConceptScore W4301454872C86803240 @default.
- W4301454872 hasLocation W43014548721 @default.
- W4301454872 hasLocation W43014548722 @default.
- W4301454872 hasOpenAccess W4301454872 @default.
- W4301454872 hasPrimaryLocation W43014548721 @default.
- W4301454872 hasRelatedWork W1503487801 @default.
- W4301454872 hasRelatedWork W1636139685 @default.
- W4301454872 hasRelatedWork W1861293286 @default.
- W4301454872 hasRelatedWork W2099473324 @default.
- W4301454872 hasRelatedWork W2111172916 @default.
- W4301454872 hasRelatedWork W2810978436 @default.
- W4301454872 hasRelatedWork W2952159588 @default.
- W4301454872 hasRelatedWork W2970469945 @default.
- W4301454872 hasRelatedWork W4301454872 @default.
- W4301454872 hasRelatedWork W2764317176 @default.
- W4301454872 isParatext "false" @default.
- W4301454872 isRetracted "false" @default.
- W4301454872 workType "article" @default.