Research on Flix
From Datalog to Flix: A Declarative Language for Fixed Points on Lattices by Magnus Madsen, Ming-Ho Yee, and Ondřej Lhoták.
Programming a Dataflow Analysis in Flix by Magnus Madsen, Ming-Ho Yee, and Ondřej Lhoták.
What You Always Wanted to Know About Datalog (and Never Dared to Ask) by Stefano Ceri, Georg Gottlob, and Letizia Tanca.
Dedalus: Datalog in Time and Space by Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, and Russell Sears.
Logic and Lattices for Distributed Programming by Neil Conway, William Marczak, Peter Alvaro, Joseph M. Hellerstein, and David Maier.
Related Languages and Systems
The Eve programming language, a language for new programmers.
The Bloom programming language, a language for distributed programming.
LogicBlox, a commercial scalable Datalog engine.
bddbddb, a Datalog engine based on binary decision diagrams.
Motivation and Inspiration
Out of the Tar Pit by Ben Moseley and Peter Marks.
Using Datalog for Fast and Easy Program Analysis by Yannis Smaragdakis and Martin Bravenboer.
Strictly Declarative Specification of Sophisticated Points-to Analyses by Martin Bravenboer and Yannis Smaragdakis.
CodeQuest: Scalable Source Code Queries with Datalog Elnar Hajiyev, Mathieu Verbaere, and Oege de Moor.
PAG - An Efficient Program Analyzer Generator by Florian Martin.
Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation by Norman Ramsey, Joao Dias, and Simon Peyton Jones.
- Declarative Datalog Debugging for Mere Mortals by Sven Kohler, Bertram Ludascher, and Yannis Smaragdakis.
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs by Koen Claessen and John Hughes.
QuickChecking Static Analysis Properties by Jan Midtgaard and Anders Møller.
How to make ad-hoc Polymorphism less ad hoc by Philip Wadler and Stephen Blott.
Type Classes: Exploring the Design Space by Simon Peyton Jones, Mark Jones, and Erik Meijer.
Type Classes with Functional Dependencies by Mark P. Jones.