1. Datafun: a functional Datalog
2. Steven Arzt and Eric Bodden . 2014 . Reviser: Efficiently Updating IDE-/IFDS-based Data-flow Analyses in Response to Incremental Program Changes . In Proceedings of the 36th International Conference on Software Engineering (ICSE 2014). ACM, New York, NY, USA. 288–298. isbn:978-1-4503-2756-5 https://doi.org/10.1145/2568225.2568243 10.1145/2568225.2568243 10.1145/2568225.2568243 Steven Arzt and Eric Bodden. 2014. Reviser: Efficiently Updating IDE-/IFDS-based Data-flow Analyses in Response to Incremental Program Changes. In Proceedings of the 36th International Conference on Software Engineering (ICSE 2014). ACM, New York, NY, USA. 288–298. isbn:978-1-4503-2756-5 https://doi.org/10.1145/2568225.2568243 10.1145/2568225.2568243
3. On the power of magic
4. Gábor Bergmann , István Dávid , Ábel Hegedüs , Ákos Horváth , István Ráth , Zoltán Ujhelyi , and Dániel Varró . 2015. Viatra 3: A Reactive Model Transformation Platform . In Theory and Practice of Model Transformations , Dimitris Kolovos and Manuel Wimmer (Eds.). Springer International Publishing , Cham . 101–110. isbn:978-3-319-21155-8 Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró. 2015. Viatra 3: A Reactive Model Transformation Platform. In Theory and Practice of Model Transformations, Dimitris Kolovos and Manuel Wimmer (Eds.). Springer International Publishing, Cham. 101–110. isbn:978-3-319-21155-8