![Mathematical analysis / Mathematics / Analysis / Functions and mappings / Static program analysis / Termination analysis / Limit of a function / IP / Well-founded relation / Measure theory / Computability theory / Inequalities Mathematical analysis / Mathematics / Analysis / Functions and mappings / Static program analysis / Termination analysis / Limit of a function / IP / Well-founded relation / Measure theory / Computability theory / Inequalities](https://www.pdfsearch.io/img/7f90c4ec140eb78b8410983ac302706b.jpg) Date: 2010-01-10 16:47:25Mathematical analysis Mathematics Analysis Functions and mappings Static program analysis Termination analysis Limit of a function IP Well-founded relation Measure theory Computability theory Inequalities | | All-Termination(T )? Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We introduce the All-Termination(T ) problem: given a termination solver T and a collection of functionsAdd to Reading ListSource URL: www.mpi-sws.orgDownload Document from Source Website File Size: 253,34 KBShare Document on Facebook
|