• Find

  • Referenced in 82 articles [sw21614]
  • proof of termination is treated as a separate exercise. Finally, some conclusions relating to general...
  • CoLoR

  • Referenced in 38 articles [sw09806]
  • founded rewrite relations and its application to the automated verifications of termination certificates. Termination ... developed to address the problem of deciding termination for specific problems (since it is undecidable ... theory of well-founded (rewrite) relations in the proof assistant Coq. We also present ... application to the automated verification of termination certificates, as produced by termination tools...
  • TPA

  • Referenced in 13 articles [sw10114]
  • Automatically. TPA is a tool for proving termination of term rewrite systems (TRSs ... support for relative termination and the use of the technique of semantic labelling with natural...
  • ode23

  • Referenced in 285 articles [sw06600]
  • function. Commonly used properties include a scalar relative error tolerance RelTol (1e-3 by default ... specify whether the integration is to terminate at a zero and whether the direction...
  • COSTA

  • Referenced in 23 articles [sw00162]
  • which is able to infer cost and termination information about Java bytecode programs. The system ... which is an extended form of recurrence relations. In order to obtain a closed ... recursive) form for such recurrence relations which represents an upper bound, COSTA includes a dedicated ... upper bounds on cost as for proving termination (which also implies the boundedness...
  • PAG

  • Referenced in 19 articles [sw00669]
  • tool. Abstract interpretation provides the relation to the semantics of the language and allows ... systematic derivation of provably correct and terminating analyses. Data flow analysis supplies many efficient algorithms...
  • MTT

  • Referenced in 22 articles [sw09783]
  • such programs outside the scope of current termination tools. The operational meaning of such features ... system rather than just by a rewriting relation. In particular, Generalized Rewrite Theories...
  • Spartacus

  • Referenced in 14 articles [sw12426]
  • transitive relations. Spartacus is the first system to use pattern-based blocking for termination...
  • HTab

  • Referenced in 11 articles [sw12427]
  • Terminating Tableaux System for Hybrid Logic. Hybrid logic is a formalism that is closely related ... article we present the implementation of a terminating tableaux algorithm for the hybrid logic...
  • MULKNAP

  • Referenced in 36 articles [sw06467]
  • above for pruning subproblems, and at each terminal subproblem, we solve MKP exactly by calling ... computing environment. However, solving instances with relatively large number of knapsacks, when compared...
  • Sibyl

  • Referenced in 6 articles [sw11995]
  • relation hierarchies. It is based on a tableau calculus that is provably terminating and complete...
  • CodeQuest

  • Referenced in 8 articles [sw10471]
  • code querying tools allow programmers to explore relations between different parts of the code base ... Prolog, but all queries are guaranteed to terminate, and there is no need for extra ... implementation of Datalog maps queries to a relational database system. We are thus able...
  • ibexMop

  • Referenced in 1 article [sw34657]
  • works, we propose some improvements related to the termination criteria, node selection, upperbounding and discarding...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • guarantee helps to rule out many concurrency-related possibilities as the cause of erroneous behavior ... thread, or program causing it can be terminated gracefully. Alternatively, the DataRaceException can serve...
  • AoPA

  • Referenced in 8 articles [sw09832]
  • Algebra of Programming in Agda), to encode relational derivations in the dependently typed programming language ... well-founded recursion is used to model terminating hylomorphisms in a language with inductive types...
  • GeneMarkS

  • Referenced in 6 articles [sw23024]
  • difficulty is caused by the absence of relatively strong sequence patterns identifying true translation initiation ... refinement of protein sequence N-terminal data, provides the benefit of precise positioning ... gene start. Therefore, sequence motifs related to transcription and translation regulatory sites can be revealed...
  • DSP

  • Referenced in 2 articles [sw05421]
  • relative) complete recourse. We also use an interior-point cutting-plane method with new termination...
  • KAD

  • Referenced in 1 article [sw32231]
  • binary relations and program traces. We include some examples from modal logics, termination and program...
  • ACSSCode

  • Referenced in 6 articles [sw26233]
  • with sufficient power for detecting a dose-related trend in the occurrence of a tumor ... tumorigenicity assays that have either a single terminal sacrifice or multiple (interval) sacrifices. The design...
  • Poitin

  • Referenced in 1 article [sw07544]
  • used to perform generalizations to ensure termination. We give several examples of the application ... theorem prover, and compare it to related work...