Publication

2004-08-05 - Springer

Language

English

Word Count

78,250 words, Guess

Page Count

313 pages

Physical Format

Paperback

Identifiers

First Sentence

The size-change analysis of [5] can show termination of first-order functional programs whose parameter values have a well-founded size order.

Subjects

Other Editions

  • Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science)PaperbackSpringer2004-08-05

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!