Recent Trends in Algebraic Development Techniques: 15th
ISBN: , SKU: , AUTHOR: Cerioli, M. / Reggio, G. / Cerioli, Maura, PUBLISHER: Springer, This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT , held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April . The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.