TY - RPRT TI - On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract) AU - Andrei P. Nemytykh PY - 2021 UR - https://arxiv.org/abs/2108.10865 ID - 2108.10865 ER -