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
|
Privacy