FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1513375020> ?p ?o ?g. }

• W1513375020 abstract "An algorithm for a restricted form of higher-order matching is described. The intended usage is for rewrite rules that use function-valued variables in place of some unknown term structure. The matching algorithm instantiates these variables with suitable λ-abstractions when given the term to be rewritten. Each argument of one of the variables is expected to match some unique substructure. Multiple solutions are avoided by making fixed choices when alternative ways to match arise. The algorithm was motivated by correctness proofs of designs written in a hardware description language. The feature of the language's semantics that necessitates the higher-order rewriting is described." @default.
• W1513375020 created "2016-06-24" @default.
• W1513375020 creator A5066545817 @default.
• W1513375020 date "1995-01-01" @default.
• W1513375020 modified "2023-09-27" @default.
• W1513375020 title "A restricted form of higher-order rewriting applied to an HDL semantics" @default.
• W1513375020 cites W1152827136 @default.
• W1513375020 cites W1525684873 @default.
• W1513375020 cites W1535956864 @default.
• W1513375020 cites W1542795482 @default.
• W1513375020 cites W1996404651 @default.
• W1513375020 cites W2034676877 @default.
• W1513375020 cites W2062968803 @default.
• W1513375020 doi "https://doi.org/10.1007/3-540-59200-8_66" @default.
• W1513375020 hasPublicationYear "1995" @default.
• W1513375020 type Work @default.
• W1513375020 sameAs 1513375020 @default.
• W1513375020 citedByCount "1" @default.
• W1513375020 crossrefType "book-chapter" @default.
• W1513375020 hasAuthorship W1513375020A5066545817 @default.
• W1513375020 hasConcept C10138342 @default.
• W1513375020 hasConcept C105795698 @default.
• W1513375020 hasConcept C108710211 @default.
• W1513375020 hasConcept C11413529 @default.
• W1513375020 hasConcept C121332964 @default.
• W1513375020 hasConcept C138885662 @default.
• W1513375020 hasConcept C14036430 @default.
• W1513375020 hasConcept C154690210 @default.
• W1513375020 hasConcept C156325763 @default.
• W1513375020 hasConcept C162324750 @default.
• W1513375020 hasConcept C165064840 @default.
• W1513375020 hasConcept C182306322 @default.
• W1513375020 hasConcept C184337299 @default.
• W1513375020 hasConcept C185592680 @default.
• W1513375020 hasConcept C199360897 @default.
• W1513375020 hasConcept C2524010 @default.
• W1513375020 hasConcept C2776401178 @default.
• W1513375020 hasConcept C33923547 @default.
• W1513375020 hasConcept C41008148 @default.
• W1513375020 hasConcept C41895202 @default.
• W1513375020 hasConcept C55439883 @default.
• W1513375020 hasConcept C55493867 @default.
• W1513375020 hasConcept C61797465 @default.
• W1513375020 hasConcept C62520636 @default.
• W1513375020 hasConcept C68859911 @default.
• W1513375020 hasConcept C78458016 @default.
• W1513375020 hasConcept C80444323 @default.
• W1513375020 hasConcept C86803240 @default.
• W1513375020 hasConcept C98184364 @default.
• W1513375020 hasConceptScore W1513375020C10138342 @default.
• W1513375020 hasConceptScore W1513375020C105795698 @default.
• W1513375020 hasConceptScore W1513375020C108710211 @default.
• W1513375020 hasConceptScore W1513375020C11413529 @default.
• W1513375020 hasConceptScore W1513375020C121332964 @default.
• W1513375020 hasConceptScore W1513375020C138885662 @default.
• W1513375020 hasConceptScore W1513375020C14036430 @default.
• W1513375020 hasConceptScore W1513375020C154690210 @default.
• W1513375020 hasConceptScore W1513375020C156325763 @default.
• W1513375020 hasConceptScore W1513375020C162324750 @default.
• W1513375020 hasConceptScore W1513375020C165064840 @default.
• W1513375020 hasConceptScore W1513375020C182306322 @default.
• W1513375020 hasConceptScore W1513375020C184337299 @default.
• W1513375020 hasConceptScore W1513375020C185592680 @default.
• W1513375020 hasConceptScore W1513375020C199360897 @default.
• W1513375020 hasConceptScore W1513375020C2524010 @default.
• W1513375020 hasConceptScore W1513375020C2776401178 @default.
• W1513375020 hasConceptScore W1513375020C33923547 @default.
• W1513375020 hasConceptScore W1513375020C41008148 @default.
• W1513375020 hasConceptScore W1513375020C41895202 @default.
• W1513375020 hasConceptScore W1513375020C55439883 @default.
• W1513375020 hasConceptScore W1513375020C55493867 @default.
• W1513375020 hasConceptScore W1513375020C61797465 @default.
• W1513375020 hasConceptScore W1513375020C62520636 @default.
• W1513375020 hasConceptScore W1513375020C68859911 @default.
• W1513375020 hasConceptScore W1513375020C78458016 @default.
• W1513375020 hasConceptScore W1513375020C80444323 @default.
• W1513375020 hasConceptScore W1513375020C86803240 @default.
• W1513375020 hasConceptScore W1513375020C98184364 @default.
• W1513375020 hasLocation W15133750201 @default.
• W1513375020 hasOpenAccess W1513375020 @default.
• W1513375020 hasPrimaryLocation W15133750201 @default.
• W1513375020 hasRelatedWork W1500649746 @default.
• W1513375020 hasRelatedWork W1515895087 @default.
• W1513375020 hasRelatedWork W1566515619 @default.
• W1513375020 hasRelatedWork W1573537275 @default.
• W1513375020 hasRelatedWork W1577544887 @default.
• W1513375020 hasRelatedWork W1590056785 @default.
• W1513375020 hasRelatedWork W1591642134 @default.
• W1513375020 hasRelatedWork W176905816 @default.
• W1513375020 hasRelatedWork W1837266337 @default.
• W1513375020 hasRelatedWork W1980046290 @default.
• W1513375020 hasRelatedWork W2039203973 @default.
• W1513375020 hasRelatedWork W2053867970 @default.
• W1513375020 hasRelatedWork W2295833488 @default.
• W1513375020 hasRelatedWork W2533540073 @default.
• W1513375020 hasRelatedWork W2740875086 @default.
• W1513375020 hasRelatedWork W2934208506 @default.
• W1513375020 hasRelatedWork W2953354833 @default.
• W1513375020 hasRelatedWork W2975211285 @default.
• W1513375020 hasRelatedWork W2979224626 @default.

• next