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

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
URN:urn:nbn:de:hebis:30:3-413363
URL:http://www.dagstuhl.de/dagpub/978-3-939897-94-1
ISBN:978-3-939897-94-1
ISSN:2190-6807
Parent Title (German):OASIcs - OpenAccess Series in Informatics ; Volume 46
Publisher:Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Place of publication:Wadern
Editor:Chiba Yuki, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß
Document Type:Book
Language:English
Year of Completion:2015
Year of first Publication:2015
Publishing Institution:Universitätsbibliothek Johann Christian Senckenberg
Release Date:2016/08/31
Page Number:77
Note:
This work is licensed under a Creative Commons Attribution 3.0 Unported license (CC-BY 3.0): http://creativecommons.org/licenses/by/3.0/legalcode. In brief, this license authorizes each and everybody to share (to copy, distribute and transmit) the work under the following conditions, without impairing or restricting the authors’ moral rights: Attribution: The work must be attributed to its authors. The copyright is retained by the corresponding authors.
HeBIS-PPN:36285954X
Institutes:Informatik und Mathematik / Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlungen:Universitätspublikationen
Licence (German):License LogoCreative Commons - Namensnennung 3.0