Datafun: A higher-order functional Datalog
"Datalog is declarative, optimizable, and relatively expressive. However, writing Datalog often involves repeating yourself; the restrictions that make Datalog practical also prevent ““higher-order”” idioms ─ for example, you cannot define a generic transitive closure operator. Datafun is a higher-order, typed functional language with Datalog-inspired semantics. In this talk, I’ll:
Explain what Datafun is and how to write Datalog-style programs in Datafun.
Give examples of Datafun’s increased expressivity.
Show how Datafun’s support for semilattice aggregations is a natural fit for program analysis.
Discuss why I think Datafun, although still in the design stage, has the potential to be implemented as efficiently as Datalog. In particular, we have recent work on generalizing seminaïve evaluation to Datafun."
Sun 23 JunDisplayed time zone: Tijuana, Baja California change
09:30 - 11:00
|The K Framework|
Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA
|MetaDL and Beyond: Custom Program Analyses in Datalog|
Christoph Reichenbach Lund University
|Datafun: A higher-order functional Datalog|
Michael Arntzenius University of Birmingham, UK