Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták. From Datalog to flix: a declarative language for fixed points on lattices. In Chandra Krintz, Emery Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. pages 194-208, ACM, 2016. [doi]
Abstract is missing.