Rewriting Logic and Its Applications [recurso electrónico] : 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.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 9942Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Descripción: XV, 185 p. 28 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783319448022Tema(s): Computer science | Computer programming | Software engineering | Programming languages (Electronic computers) | Computer logic | Mathematical logic | Computers | Computer Science | Logics and Meanings of Programs | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Mathematical Logic and Formal Languages | Models and PrinciplesFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.1015113 Clasificación LoC:QA76.9.L63QA76.5913QA76.63Recursos en línea: Libro electrónico
Contenidos:
En: Springer eBooksResumen: 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.
Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- Applications.
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
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.