A type system for logic programs

DOI10.1016/0743-1066(91)80002-UMaRDI QIDQ5748874zbMATH OpenFDO

Authors Eyal Yardeni, Ehud Shapiro

Publication date 1991

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

zbMATH Keywords

type checkingtype system for logic programs

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Recommendations

• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)
• scientific article; zbMATH DE number 4026804
• Efficient run-time type checking of typed logic programs
• Logic programs with polymorphic types: A condition for static type checking
• scientific article; zbMATH DE number 5198991

Cited in

(40)

• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)
• scientific article; zbMATH DE number 1420825 (Why is no real title available?)
• New results on type systems for functional logic programming
• scientific article; zbMATH DE number 5198991 (Why is no real title available?)
• Safe typing of functional logic programs with opaque patterns and local bindings
• Logic programs with polymorphic types: A condition for static type checking
• scientific article; zbMATH DE number 1950451 (Why is no real title available?)
• Canonical regular types
• scientific article; zbMATH DE number 4164151 (Why is no real title available?)
• Mints type deductive calculi for logic programming
• A sound and complete Hoare logic for dynamically-typed, object-oriented programs
• Typing constraint logic programs
• Bottom-up abstract interpretation of logic programs
• scientific article; zbMATH DE number 2080204 (Why is no real title available?)
• scientific article; zbMATH DE number 4026804 (Why is no real title available?)
• Type inference in Prolog: A new approach
• scientific article; zbMATH DE number 1692902 (Why is no real title available?)
• Data type inference for logic programming
• Towards substructural property-based testing
• Typed SLD-resolution: dynamic typing for logic programming
• scientific article; zbMATH DE number 1552531 (Why is no real title available?)
• Non-termination Analysis of Logic Programs Using Types
• Towards a Type Discipline for Answer Set Programming
• Recent Advances in Constraints
• Automata, Languages and Programming
• A polymorphic type dependency analysis for logic programs
• The appropriateness of predicate invention as bias shift operation in ILP
• Checking Emptiness of Non-Deterministic Regular Types with Set Operators
• Efficient run-time type checking of typed logic programs
• scientific article; zbMATH DE number 1954116 (Why is no real title available?)
• scientific article; zbMATH DE number 67966 (Why is no real title available?)
• A liberal type system for functional logic programs
• A semantics for type checking
• Horn clause programs with polymorphic types: Semantics and resolution
• Logical types for untyped languages
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• scientific article; zbMATH DE number 1538022 (Why is no real title available?)
• Improving precision of type analysis using non-discriminative union
• scientific article; zbMATH DE number 516997 (Why is no real title available?)
• scientific article; zbMATH DE number 6304248 (Why is no real title available?)

This page was built for publication: A type system for logic programs

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