Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Dorel Lucanu.
Material type:
TextSeries: Theoretical Computer Science and General Issues ; 9942 | Lecture Notes in Computer Science ; 9942Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Edition: 1st ed. 2016Description: XV, 185 p. 28 illus. online resourceContent type: - text
- computer
- online resource
- 9783319448022
- Computer logic
- Software engineering
- Computer programming
- Programming languages (Electronic computers)
- Mathematical logic
- Computers
- Logics and Meanings of Programs
- Software Engineering
- Programming Techniques
- Programming Languages, Compilers, Interpreters
- Mathematical Logic and Formal Languages
- Models and Principles
- 005.1015113 23
- QA76.9.L63
- QA76.5913
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK15445 |
Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- Applications.
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.
There are no comments on this title.