Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.
The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

List of contents

Foundations.- Rewriting as a logical and semantic framework.-Rewriting languages.- Verification techniques.- Applications.

Product details

• Assisted by: Dorel Lucanu (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 18.08.2016
• EAN: 9783319448015
• ISBN: 978-3-31-944801-5
• No. of pages: 185
• Dimensions: 155 mm x 12 mm x 235 mm
• Weight: 318 g
• Illustrations: XV, 185 p. 28 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, computer science, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Computers, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Models and Principles, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters, Models of Computation