Re: [isabelle] logic programming



This could be of interest:

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

Tobias

Sean McLaughlin schrieb:
Hello,

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.

Thanks,

Sean





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