Re: [isabelle] logic programming

This could be of interest:

Cornelia Pusch: Verification of Compiler Correctness for the WAM. TPHOLs 1996: 347-361


Sean McLaughlin schrieb:

I'm starting a project to formalize some aspects of a mini-Prolog, and was
wondering if there has been any work done on formalizing logic programming,
besides the unification algorithm. I found one paper from TPHOL '01, but my
library doesn't have that edition:

Refinement Calculus for Logic Programming in Isabelle/HOL, by
Heymer, et. al.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.