scientific article; zbMATH DE number 4178791

MaRDI QIDQ3201766zbMATH OpenFDO

Authors Daniel De Schreye, Maurice Bruynooghe

Publication date 1989

zbMATH Keywords

abstract interpretationHorn clause logic programsprogram transformation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2085260
• scientific article; zbMATH DE number 1975609
• scientific article; zbMATH DE number 1949621
• scientific article; zbMATH DE number 1497823
• Static analysis, abstract interpretation and verification in (constraint logic) programming

Cited in

(4)

• Language-independent generation of logic representations for programs
• scientific article; zbMATH DE number 2085260 (Why is no real title available?)
• From sequential programs to multi-tier applications by program transformation
• A systematic approach to abstract interpretation of program transformations

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)