Opening book details…
Can I read Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers on EtoBox?
Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers by Natarajan Shankar (auth.), Peter Csaba Ölveczky (eds.) is a nonfiction available to read on EtoBox.
What is Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers about?
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.
Who reads Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Natarajan Shankar (auth.), Peter Csaba Ölveczky (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2010
- Language
- EN
- ISBN
- 9783642163098
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
Other editions & translations
More by Natarajan Shankar (auth.), Peter Csaba Ölveczky (eds.)
Browse all works by Natarajan Shankar (auth.), Peter Csaba Ölveczky (eds.)
Similar books
- 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 — Dorel Lucanu (2016)
- Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held As a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers — Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Franciso Durán (2012)
- Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers — Santiago Escobar (2014)
- Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Theoretical Computer Science and General Issues — Vlad Rusu (2018)
- Compiler constructions : 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings — James Larus (auth.), Rajiv Gupta (2010)
- Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : Proceedings — Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (2010)
