Selective Unification in (Constraint) Logic Programming*
From MaRDI portal
Publication:4988929
DOI10.3233/FI-2020-1993zbMATH Open1497.68087OpenAlexW3110946665MaRDI QIDQ4988929FDOQ4988929
Authors: Fred Mesnard, Étienne Payet, Germán Vidal 
Publication date: 20 May 2021
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2020-1993
Recommendations
- scientific article; zbMATH DE number 1332644
- Anti-unification in constraint logic programming
- Unification as a complexity measure for logic programming
- Replacing unification by constraint satisfaction to improve logic program expressiveness
- Synthesis of a unification algorithm in a logic programming calculus
- scientific article; zbMATH DE number 1223549
- Unifying theories for logic programming
- scientific article; zbMATH DE number 555223
- On the completeness of selective unification in concolic testing of logic programs
Cites Work
- Title not available (Why is that?)
- Verification, Model Checking, and Abstract Interpretation
- Negation and constraint logic programming
- A necessary condition for constructive negation in constraint logic programming
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- Title not available (Why is that?)
- Concolic testing in logic programming
- On the completeness of selective unification in concolic testing of logic programs
- A linear operational semantics for termination and complexity analysis of ISO prolog
Cited In (7)
- Restricted combinatory unification
- Concolic testing in CLP
- An SMT-based concolic testing tool for logic programs
- Title not available (Why is that?)
- On the completeness of selective unification in concolic testing of logic programs
- Feature-constraint logics for unification grammars
- Title not available (Why is that?)
This page was built for publication: Selective Unification in (Constraint) Logic Programming*
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4988929)
