Differential methods in logic program analysis
From MaRDI portal
Recommendations
- Precise goal-independent abstract interpretation of constraint logic programs.
- Path dependent analysis of logic programs
- Precise goal-independent abstract interpretation of constraint logic programs
- Exploiting goal independence in the analysis of logic programs
- scientific article; zbMATH DE number 879004
Cited in
(17)- Differential constraints, recursion operators, and logical integrability
- Precise goal-independent abstract interpretation of constraint logic programs.
- Path dependent analysis of logic programs
- Semantics-based program analysis for logic-based languages using XSB
- Pair-independence and freeness analysis through linear refinement.
- Precise goal-independent abstract interpretation of constraint logic programs
- Logical Difference Computation with CEX2.5
- Optimality in goal-dependent analysis of Sharing
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Compile-time derivation of variable dependency using abstract interpretation
- Exploiting goal independence in the analysis of logic programs
- scientific article; zbMATH DE number 1954120 (Why is no real title available?)
- scientific article; zbMATH DE number 2012389 (Why is no real title available?)
- scientific article; zbMATH DE number 1487945 (Why is no real title available?)
- Differential Refinement Logic
- Computing abstract distances in logic programs
- scientific article; zbMATH DE number 5043201 (Why is no real title available?)
This page was built for publication: Differential methods in logic program analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4208853)
