scientific article; zbMATH DE number 4026804

MaRDI QIDQ3768375zbMATH OpenFDO

Authors Lee Naish

Publication date 1987

zbMATH Keywords

implementationlogic programsprogramming errorssemanticstype correcttype declarationstype schemes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A type system for logic programs
• The relationship between logic programs and specifications-the subset example revisited
• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)
• Using types as approximations for type checking Prolog programs
• A closer look at declarative interpretations

Cited in

(5)

• Most specific logic programs
• The relationship between logic programs and specifications-the subset example revisited
• scientific article; zbMATH DE number 1497847 (Why is no real title available?)
• Logic programs with equational type specifications
• A type system for logic programs

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 Q3768375)