scientific article
From MaRDI portal
Publication:3983041
zbMath0742.68044MaRDI QIDQ3983041
John P. Gallagher, Maurice Bruynooghe
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (4)
Concolic Testing in CLP ⋮ Sound and complete partial deduction with unfolding based on well-founded measures ⋮ A Study on the Practicality of Poly-Controlled Partial Evaluation ⋮ Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
This page was built for publication: