Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms.

Manuel Hernández David A. Rosenblueth

Published in: PPDP (2001)

Keyphrases

logic programs
string matching
logic programming
pattern matching
fixpoint
orders of magnitude
answer set programming
horn clauses
databases
feature selection
data structure
data management
software reuse
suffix array
prolog programs