Directional type inference for logic programs

DOI10.1007/3-540-49727-7_17MaRDI QIDQ4217932zbMATH OpenFDO

Authors Witold Charatonik, Andreas Podelski

Publication date 11 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49727-7_17

zbMATH Keywords

type checking algorithm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1538022
• Directional types and the annotation method
• A type system for logic programs
• A bottom-up polymorphic type inference in logic programming
• scientific article; zbMATH DE number 1948391

Cited in

(8)

• Bidirectional data flow analysis for type inferencing.
• The ^2 fragment of the first-order theory of atomic set constraints is _1⁰-hard
• A polymorphic type dependency analysis for logic programs
• scientific article; zbMATH DE number 4092733 (Why is no real title available?)
• Directional types and the annotation method
• scientific article; zbMATH DE number 1538022 (Why is no real title available?)
• Type inference for Datalog with complex type hierarchies
• Data type inference for logic programming

This page was built for publication: Directional type inference for logic programs

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