Skip to search formSkip to main contentSkip to account menu

Termination analysis

Known as: Termination, Measure (termination), Termination proof 
In computer science, a termination analysis is program analysis which attempts to determine whether the evaluation of a given program will definitely… 
Wikipedia (opens in a new tab)

Related topics

Related topics

31 relations
AC-3 algorithmAgdaAlgorithmAnalysis of algorithms

Broader (1)

Static program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Managing the reproductive cycle in the bitch.
2009
2009
Understanding Patterns of Human Interactions and Decision Making: An Initial Map of Podocarpus National Park, Ecuador
Successful conservation is as much about people and how they make decisions as it is about flora and fauna. Just as it is… 
2006
2006
Accurate programmable electrocardiogram generator using a dynamical model implemented on a microcontroller
This article reports on the design and development of a complete, programmable electrocardiogram (ECG) generator, which can be… 
2001
2001
Termination Proofs by Context-Dependent Interpretations
Proving termination of a rewrite system by an interpretation over the natural numbers directly implies an upper bound on the… 
1999
1999
Applying Rewriting Techniques to the Verification of Erlang Processes
Erlang is a functional programming language developed by Ericsson Telecom which is particularly well suited for implementing… 
1995
1995
Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq
We propose a constructive termination proof in the Calculus of Constructions of any finite term rewriting systems whose rules can… 
1994
1994
Generating Polynomial Orderings
1991
1991
Ectomycorrhizae and Drought Acclimation Influence Water Relations and Growth of Loblolly Pine
The influence of ectomycorrhizae on drought acclimation was studied in an open-pollinated family of loblolly pine (Pinus taeda L… 
1985
1985
Automatic segmentation of continuous speech signals
  • R. André-Obrecht
  • ICASSP '86. IEEE International Conference on…
  • 1985
  • Corpus ID: 60826170
A statistical approach of the automatic segmentation of the speech signal is discussed. The purpose is to detect acoustic events… 
1966
1966
An Iterative Spike Separation Technique
A spike separation technique which combines data processing methods with extracellular probing techniques to allow simultaneous… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)