scientific article; zbMATH DE number 4178791

zbMATH Open0715.68057MaRDI QIDQ3201766FDOQ3201766

Daniel De Schreye, Maurice Bruynooghe

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

abstract interpretationprogram transformationHorn clause logic programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• From sequential programs to multi-tier applications by program transformation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3201766)