WPTE 2015 July 2, 2015 - Warsaw, Poland

2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)



Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schauß (Eds.)
ISBN 978-3-939897-94-1, OASICS Vol. 46 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 3 MB)
Search Publication Server


Authors
  • Chiba, Yuki
  • Escobar, Santiago
  • Guerrieri, Giulio
  • Madlener, Ken
  • Nishida, Naoki
  • Palacios, Adrián
  • Pientka, Brigitte
  • Sabel, David
  • Schmidt-Schauß, Manfred
  • Smetsers, Sjaak
  • van Eekelen, Marko
  • Vidal, Germán

  •   
    Frontmatter, Table of Contents, Preface, Workshop Organization
    Authors: Chiba, Yuki ; Escobar, Santiago ; Nishida, Naoki ; Sabel, David ; Schmidt-Schauß, Manfred

    Abstract | Document (371 KB) | BibTeX

    Mechanizing Meta-Theory in Beluga (Invited Talk)
    Authors: Pientka, Brigitte

    Abstract | Document (278 KB) | BibTeX

    Head reduction and normalization in a call-by-value lambda-calculus
    Authors: Guerrieri, Giulio

    Abstract | Document (554 KB) | BibTeX

    Towards Modelling Actor-Based Concurrency in Term Rewriting
    Authors: Palacios, Adrián ; Vidal, Germán

    Abstract | Document (476 KB) | BibTeX

    Observing Success in the Pi-Calculus
    Authors: Sabel, David ; Schmidt-Schauß, Manfred

    Abstract | Document (589 KB) | BibTeX

    Formalizing Bialgebraic Semantics in PVS 6.0
    Authors: Smetsers, Sjaak ; Madlener, Ken ; van Eekelen, Marko

    Abstract | Document (546 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI