Finite-tree analysis for constraint logic-based languages (Q817224): Difference between revisions

@@ Property / describes a project that uses @@
+YAP-Prolog
@@ Property / describes a project that uses: YAP-Prolog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CiaoPP
@@ Property / describes a project that uses: CiaoPP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2004.04.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1994418588
@@ Property / OpenAlex ID: W1994418588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692331
@@ Property / cites work: Q4692331 / rank @@
+Normal rank
@@ Property / cites work @@
+Records for logic programming
@@ Property / cites work: Records for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Parser generation and grammar manipulation using prolog's infinite trees
+Normal rank
@@ Property / cites work @@
+Deriving descriptions of possible values of program variables by means of abstract interpretation
+Normal rank
@@ Property / cites work @@
+Type analysis of prolog using type graphs
@@ Property / cites work: Type analysis of prolog using type graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Typed Feature Structures
@@ Property / cites work: The Logic of Typed Feature Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364368
@@ Property / cites work: Q4364368 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+cTI: a constraint-based termination inference tool for ISO-Prolog
+Normal rank
@@ Property / cites work @@
+The theoretical foundations of LPTP (a logic program theorem prover)
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Enhanced sharing analysis techniques: a comprehensive evaluation
+Normal rank
@@ Property / cites work @@
+Combinations of abstract domains for logic programming: Open product and generic pattern construction
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
+Normal rank
@@ Property / cites work @@
+Q4778701
@@ Property / cites work: Q4778701 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Functions for Finite-Tree Dependencies
@@ Property / cites work: Boolean Functions for Finite-Tree Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of unification
@@ Property / cites work: Generalizations of unification / rank @@
+Normal rank
@@ Property / cites work @@
+Pair-sharing over rational trees
@@ Property / cites work: Pair-sharing over rational trees / rank @@
+Normal rank
@@ Property / cites work @@
+Two classes of Boolean functions for dependency analysis
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767017
@@ Property / cites work: Q2767017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742761
@@ Property / cites work: Q3742761 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness, idempotence and commutativity of set-sharing
+Normal rank
@@ Property / cites work @@
+Sharing is optimal
@@ Property / cites work: Sharing is optimal / rank @@
+Normal rank
@@ Property / cites work @@
+On derived dependencies and connected databases
@@ Property / cites work: On derived dependencies and connected databases / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of logic programs for independent and parallelism
+Normal rank
@@ Property / cites work @@
+The quotient of an abstract interpretation
@@ Property / cites work: The quotient of an abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
+Normal rank
@@ Property / cites work @@
+Set-sharing is redundant for pair-sharing
@@ Property / cites work: Set-sharing is redundant for pair-sharing / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing non-redundant sharing by complementation
+Normal rank
@@ Property / cites work @@
+Q2722073
@@ Property / cites work: Q2722073 / rank @@
+Normal rank