Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 13:30 - 14:15 at Elk - Session 3 Chair(s): Thomas Gilray

We present two formal semantics for the core miniKanren. First, we give denotational variant which corresponds to the minimal Herbrand model for definite logic programs. Second, we present operational semantics which models interleaving, and prove its soundness and completeness w.r.t. denotational semantics. Our development is supported by formal Coq specification, thus making it certified.

Thu 22 Aug

minikanren-2019-papers
13:30 - 15:00: miniKanren 2019 - Session 3 at Elk
Chair(s): Thomas GilrayUniversity of Maryland
minikanren-2019-papers13:30 - 14:15
Full-paper
Link to publication
minikanren-2019-papers14:15 - 15:00
Full-paper
Link to publication