Advertisement

Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

  • Vlad Rusu
Conference proceedings WRLA 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11152)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11152)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Santiago Escobar
    Pages 26-44
  3. Adrián Riesco
    Pages 45-58
  4. Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
    Pages 59-75
  5. Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
    Pages 98-114
  6. Carlos Olarte, Elaine Pimentel, Camilo Rocha
    Pages 115-135
  7. Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
    Pages 136-152
  8. Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong
    Pages 153-163
  9. Francisco Durán, José Meseguer, Camilo Rocha
    Pages 184-204
  10. Paul Downen, Philip Johnson-Freyd, Zena M. Ariola
    Pages 205-225
  11. Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia
    Pages 226-244
  12. Yohan Boichut, Vivien Pelletier, Pierre Réty
    Pages 245-260
  13. Back Matter
    Pages 261-261

About these proceedings

Introduction

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.

The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction, and its applications. 

Keywords

computability and decidability formal logic logic programming programming languages semantics software engineering specifications

Editors and affiliations

  • Vlad Rusu
    • 1
  1. 1.InriaLilleFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-99840-4
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99839-8
  • Online ISBN 978-3-319-99840-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site