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

Full description

Bibliographic Details
Main Authors: Yuki, Chiba, Escobar, Santiago, Nishida, Naoki, Sabel, David, Schmidt-Schauß, Manfred
Format: Book
Language:English
Published: 2015
Subjects:
ddc:004
Beluga
Beluga*
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
Description
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

Similar Items