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.……
続きを見る