Rewriting Techniques and Applications
Subtitle: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2004
Language: eng
Format: Paperback
Number of pages: 313
ISBN-13: 9783540221531
Subjects: Algorithms & procedures; Programming languages; Science/Mathematics; Logic Design; Computers - General Information; Mathematics; Rewriting systems (Computer science); Rewriting systems (Computer sc; Computer Science; Logic; Programming Languages - General; Mathematics / Logic; Computer programming; Algorithms; Congresses
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.