Directional types and the annotation method

DOI10.1016/S0743-1066(96)00144-6MaRDI QIDQ4371987zbMATH OpenOpenAlexFDO

Authors Johan Boye, Jan Maluszyński

Publication date 20 April 1998

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(96)00144-6

zbMATH Keywords

Prolog programwell-typedness

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1222409
• scientific article; zbMATH DE number 1538022
• Proof methods of declarative properties of definite programs

Cited in

(4)

• Evolution of rule-based programs
• scientific article; zbMATH DE number 1615261 (Why is no real title available?)
• scientific article; zbMATH DE number 1222409 (Why is no real title available?)
• scientific article; zbMATH DE number 1538022 (Why is no real title available?)

Describes a project that uses

Uses Software

• SICStus

This page was built for publication: Directional types and the annotation method

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