3 citations · 13 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SC2021★ 1 cited
Proceedings of the 9th International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh
The previous VPT 2020 workshop was organized in honour of Professor Alberto Pettorossi on the occasion of his academic retirement from Università di Roma Tor Vergata. Due to the pa…
cs.LO2021★ 1 cited
On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract)
Andrei P. Nemytykh
We have proved that for any pattern p the tail recursive program model of naive pattern matching may be automatically specialized w.r.t. the pattern p to a specialized version of t…