Searching for "Terminal notions." – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
Localizing and Explaining Reasons for Non-Terminating Logic Programs With Failure-Slices
- … present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a…
- Cited by 2 (2 self) – Add To MetaCart
-
Modular Termination Proofs for Prolog with Tabling
- … mechanism is that of Decorte et al. They introduce and characterise two notions of universal termination…
- Cited by 8 (4 self) – Add To MetaCart
-
Termination Analysis for Tabled Logic Programming
- …-resolution restricted to definite programs. In Section 3 we present the notions of quasi-termination and quasi…
- Cited by 16 (9 self) – Add To MetaCart
-
Characterisations of Termination in Logic Programming
- … selection rule for which they terminate. This notion of termination has been introduced by Ruggieri [62, 63…
- Cited by 4 (3 self) – Add To MetaCart
-
A Simple Adequate Categorical Model for PCF
- … result thus expresses that the syntactic notion of non-termination coincides with the semantic notion…
- Cited by 4 (0 self) – Add To MetaCart
-
MTT: The Maude Termination Tool (System Description) ⋆
- … at the heart of the most recent formulation of Maude [4]. The corresponding termination notions can also differ…
- Add To MetaCart
-
Termination Proofs for a Lazy Functional Language by Abstract Reduction
- … notions of termination. Chapter 1 Introduction Since the early days of computer science the termination…
- Cited by 2 (0 self) – Add To MetaCart
-
Hierarchical Termination
- …, then termination is said to be modular when the union is also terminating. The notion of modularity of properties…
- Cited by 82 (9 self) – Add To MetaCart
-
CARIN: A Representation Language Combining Horn Rules and Description Logics
- … that this procedure will yield a refutation complete procedure for CARIN-ALCNR. That is, the algorithm will terminate…
- Cited by 88 (1 self) – Add To MetaCart
-
Tetrahedral Mesh Generation by Delaunay Refinement
- … to terminate if the notion of "poor quality" includes only simplices that have a circumradiusto -shortest edge…
- Cited by 87 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
