Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau. Static analysis of pattern-free properties. In Niccolò Veltri, Nick Benton, Silvia Ghilezan, editors, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM, 2021. [doi]
Abstract is missing.