Matches in SemOpenAlex for { <https://semopenalex.org/work/W2101149262> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2101149262 abstract "Program transformation advocates the development of programs by applying a sequence of meaning-preserving rules to a specification, thereby obtaining an implementation. The cost of program development and maintenance decreases if previous, derivations can be reused conveniently Through the string-matching problem, we study the reuse of complete parts of the derivation of an algorithm, in the deriv ation of another, similar algorithm. In particular, we first derive the search stage of a variant of the Boyer--Moore algorithm, and then reuse some dev elopments in a derivation of the search stage of the Knuth-Morris-Pratt algorithm. Several advantages result from employing logic programming. First, we get the semantic benefit of having a logical basis. Second, we can easily exploit nondeterminism. Third, we link both deriv ations by observing that repetitive deterministic unfolding (i.e. sequences of unfolding steps that halt when more than one clause would be inferred) is closely related to the preprocessing stage of both algorithms." @default.
- W2101149262 created "2016-06-24" @default.
- W2101149262 creator A5018103510 @default.
- W2101149262 creator A5027550065 @default.
- W2101149262 date "2001-09-05" @default.
- W2101149262 modified "2023-10-01" @default.
- W2101149262 title "Development reuse and the logic program derivation of two string-matching algorithms" @default.
- W2101149262 cites W1529615245 @default.
- W2101149262 cites W1590845931 @default.
- W2101149262 cites W1976978590 @default.
- W2101149262 cites W1985108724 @default.
- W2101149262 cites W2004200215 @default.
- W2101149262 cites W2025796387 @default.
- W2101149262 cites W2048831705 @default.
- W2101149262 cites W2052314860 @default.
- W2101149262 cites W2090175484 @default.
- W2101149262 cites W2134826720 @default.
- W2101149262 cites W4206370914 @default.
- W2101149262 doi "https://doi.org/10.1145/773184.773190" @default.
- W2101149262 hasPublicationYear "2001" @default.
- W2101149262 type Work @default.
- W2101149262 sameAs 2101149262 @default.
- W2101149262 citedByCount "3" @default.
- W2101149262 crossrefType "proceedings-article" @default.
- W2101149262 hasAuthorship W2101149262A5018103510 @default.
- W2101149262 hasAuthorship W2101149262A5027550065 @default.
- W2101149262 hasConcept C105795698 @default.
- W2101149262 hasConcept C11413529 @default.
- W2101149262 hasConcept C127413603 @default.
- W2101149262 hasConcept C128838566 @default.
- W2101149262 hasConcept C157486923 @default.
- W2101149262 hasConcept C165064840 @default.
- W2101149262 hasConcept C199360897 @default.
- W2101149262 hasConcept C206588197 @default.
- W2101149262 hasConcept C2987117450 @default.
- W2101149262 hasConcept C33923547 @default.
- W2101149262 hasConcept C37914503 @default.
- W2101149262 hasConcept C41008148 @default.
- W2101149262 hasConcept C548081761 @default.
- W2101149262 hasConcept C68859911 @default.
- W2101149262 hasConcept C7757238 @default.
- W2101149262 hasConcept C80444323 @default.
- W2101149262 hasConceptScore W2101149262C105795698 @default.
- W2101149262 hasConceptScore W2101149262C11413529 @default.
- W2101149262 hasConceptScore W2101149262C127413603 @default.
- W2101149262 hasConceptScore W2101149262C128838566 @default.
- W2101149262 hasConceptScore W2101149262C157486923 @default.
- W2101149262 hasConceptScore W2101149262C165064840 @default.
- W2101149262 hasConceptScore W2101149262C199360897 @default.
- W2101149262 hasConceptScore W2101149262C206588197 @default.
- W2101149262 hasConceptScore W2101149262C2987117450 @default.
- W2101149262 hasConceptScore W2101149262C33923547 @default.
- W2101149262 hasConceptScore W2101149262C37914503 @default.
- W2101149262 hasConceptScore W2101149262C41008148 @default.
- W2101149262 hasConceptScore W2101149262C548081761 @default.
- W2101149262 hasConceptScore W2101149262C68859911 @default.
- W2101149262 hasConceptScore W2101149262C7757238 @default.
- W2101149262 hasConceptScore W2101149262C80444323 @default.
- W2101149262 hasLocation W21011492621 @default.
- W2101149262 hasOpenAccess W2101149262 @default.
- W2101149262 hasPrimaryLocation W21011492621 @default.
- W2101149262 hasRelatedWork W1492858093 @default.
- W2101149262 hasRelatedWork W1831618889 @default.
- W2101149262 hasRelatedWork W2178786736 @default.
- W2101149262 hasRelatedWork W2257399947 @default.
- W2101149262 hasRelatedWork W2277058918 @default.
- W2101149262 hasRelatedWork W2359478580 @default.
- W2101149262 hasRelatedWork W2366300241 @default.
- W2101149262 hasRelatedWork W2899420932 @default.
- W2101149262 hasRelatedWork W4206959305 @default.
- W2101149262 hasRelatedWork W4210951666 @default.
- W2101149262 isParatext "false" @default.
- W2101149262 isRetracted "false" @default.
- W2101149262 magId "2101149262" @default.
- W2101149262 workType "article" @default.