TY  - RPRT
TI  - Polyvariant Program Specialisation with Property-based Abstraction
AU  - John P. Gallagher
PY  - 2019
DO  - 10.4204/eptcs.299.6
UR  - https://arxiv.org/abs/1908.07189
ID  - 1908.07189
ER  -