An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition)

Details An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition) An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition)

2011-08-16

arxiv.org/abs/1108.3347v1

Mathematics

Combinatorics

20 pages, 5 programs. While this is classified under Combinatorics (to tell combinatorists that someone is using their stuff)

Scientific paper

We describe an application of Ramsey's Theorem to proving programs terminate. We then note that the application did not need the Full Ramsey Theory, but actually just needed a generalization of the Erdos-Szekeres theorem on monotone sequences. We discuss formally why this is weaker. This paper is self contained; it does not require knowledge of either field. Our account of the application of Ramsey Theory is based on articles by B. Cook, Podelski, and Rybalchenko

Affiliated with

Also associated with

No associations

Rating

An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-539518