Faithin Omaha eBook Collection

Download or read book Rewriting Logic and Its Applications written by Peter Csaba Ölveczky and published by Springer. This book was released on 2010-10-02 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. The 13 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on termination and narrowing; tools; the K framework; applications and semantics; maude model checking and debugging; and rewrite engines.