Type Inference by Coinductive Logic Programming

DOI10.1007/978-3-642-02444-3_1MaRDI QIDQ3638242zbMATH OpenOpenAlexFDO

Authors Davide Ancona, Giovanni Lagorio, Elena Zucca

Publication date 2 July 2009

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

Full work available at URL https://doi.org/10.1007/978-3-642-02444-3_1

zbMATH Keywords

coinductiontype inferenceobject-oriented languagesnominal and structural typing

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1231454
• Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
• Idealized coinductive type systems for imperative object-oriented programs
• A bottom-up polymorphic type inference in logic programming
• Coinductive constraint logic programming

Cites work

• scientific article; zbMATH DE number 2185708 (Why is no real title available?)
• scientific article; zbMATH DE number 2089402 (Why is no real title available?)
• scientific article; zbMATH DE number 1183236 (Why is no real title available?)
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive Logic Programming
• Fundamental properties of infinite trees
• Idealized coinductive type systems for imperative object-oriented programs
• Intersection and union types: Syntax and semantics
• Polymorphic bytecode
• Principal typings for Java-like languages
• Type Inference by Coinductive Logic Programming

Cited in

(16)

• Preemptive type checking
• scientific article; zbMATH DE number 4092733 (Why is no real title available?)
• HM(X) type inference is CLP(X) solving
• scientific article; zbMATH DE number 5198991 (Why is no real title available?)
• Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
• Coalgebraic semantics for parallel derivation strategies in logic programming
• Exploiting parallelism in coalgebraic logic programming
• Type 2 representation and reasoning for CWW
• Type inference for mobile ambients in Prolog
• Mints type deductive calculi for logic programming
• Practical Proof Search for Coq by Type Inhabitation
• An empirical study into COBOL type inferencing
• Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
• Idealized coinductive type systems for imperative object-oriented programs
• Type Inference by Coinductive Logic Programming
• scientific article; zbMATH DE number 1728236 (Why is no real title available?)

Describes a project that uses

Uses Software

• RPython
• Featherweight Java

This page was built for publication: Type Inference by Coinductive Logic Programming

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