termination analysis

Also found in: Wikipedia

0.01 sec.

termination analysis - A program analysis which attempts to determine whether evaluation of a given expression will definitely terminate.

Evaluation of a constant is bound to terminate, as is evaluation of a non-recursive function applied to arguments which are either not evaluated or which can themselves be proved to terminate. A recursive function can be shown to terminate if it can be shown that the arguments of the recursive calls are bound to reach some value at which the recursion will cease.

Termination analysis can never guarantee to give the correct answer because this would be equivalent to solving the halting problem so the answer it gives is either "definitely terminates" or "don't know".

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			will provide a reasonable promotion, hiring and termination analysis, as required in the backup for the AAP). The use of an economist in labor and employment disputes: legal and ... by Garrity, James; White, Paul F. / Florida Bar Journal			terminal speed Terminal State terminal station terminal statue terminal stopping device terminal strip terminal stub terminal throw velocity terminal unit Terminal User Interface terminal velocity terminal vertex terminal very-high-frequency omnirange terminal voltage terminal window Terminalia terminate and stay resident terminated line terminated stop terminating terminating continued fraction terminating decimal terminating enclosure terminating facility termination termination analysis Termination of Employment termination step Terminator terminator codon Terminology terminus Termitaphididae termitarium termite termite shield termiticole Termitidae termitophile Termopsidae terms of service Tern ternary ternary alloy ternary code ternary compound ternary diagram ternary expansion ternary incremental representation ternary notation ternary pulse code modulation			terminating continued fraction Terminating decimal Terminating decimal terminating enclosure terminating facility Terminating Line Identity Terminating Message Buffers Terminating Message Line Blocks Terminating null character Terminating null character Terminating Parental Rights Terminating Partition Terminating Point Master Terminating Switch terminating with extreme prejudice terminating with extreme prejudice terminating with extreme prejudice terminating with extreme prejudice terminatio terminatio terminatio terminatio termination termination termination termination termination Termination & Recoupment Termination & Redundancy termination after worker injury termination analysis Termination Analysis of Logic Programs Termination and Disengagement Termination Attempt Trigger Termination Benefit Termination Benefit Termination Benefit Termination Benefits Termination Benefits Termination Benefits Termination codon Termination codon Termination codon Termination Contracting Officer Termination Customer Provided Access termination date termination date Termination Dates Termination Dates Termination fee Termination Fees Termination for Convenience Termination for Default Termination for Medical Reasons Termination Level of Conus Medullaris Termination Liability Termination Liability Agreement Termination Liability Reserve Termination Module termination of a pregnancy termination of an action

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.