2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland
Contents: Yuki Chiba, Santiago Escobar, Naoki Nishida, and David Sabel, and Manfred Schmidt-Schauß : Preface: The Collection of all Abstracts of the Talks at WPTE 2015 xi Brigitte Pientka : Mechanizing Meta-Theory in Beluga Giulio Guerrieri : Head reduction and normalization in a call-by-value lambd...
Main Authors: | , , , , |
---|---|
Format: | Book |
Language: | English |
Published: |
2015
|
Subjects: | |
Online Access: | http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/41336 https://nbn-resolving.org/urn:nbn:de:hebis:30:3-413363 http://publikationen.ub.uni-frankfurt.de/files/41336/oasics-vol46-wpte2015-complete.pdf |
Summary: | Contents: Yuki Chiba, Santiago Escobar, Naoki Nishida, and David Sabel, and Manfred Schmidt-Schauß : Preface: The Collection of all Abstracts of the Talks at WPTE 2015 xi Brigitte Pientka : Mechanizing Meta-Theory in Beluga Giulio Guerrieri : Head reduction and normalization in a call-by-value lambda-calculus Adrián Palacios and Germán Vidal : Towards Modelling Actor-Based Concurrency in Term Rewriting David Sabel and Manfred Schmidt-Schauß : Observing Success in the Pi-Calculus Sjaak Smetsers, Ken Madlener, and Marko van Eekelen : Formalizing Bialgebraic Semantics in PVS 6.0 |
---|