scientific article; zbMATH DE number 4026804

zbMATH Open0631.68018MaRDI QIDQ3768375FDOQ3768375

Authors: Lee Naish 

Publication date: 1987

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

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)
• scientific article; zbMATH DE number 1696599
• A closer look at declarative interpretations

zbMATH Keywords

semanticsimplementationlogic programstype declarationsprogramming errorstype correcttype 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)

Cited In (3)

• Logic programs with equational type specifications
• Most specific logic programs
• 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)