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
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
show moreshow less

Export metadata

  • Export Bibtex
  • Export RIS

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
Pagenumber: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
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Sammlungen:Universitätspublikationen
Licence (German):License LogoCreative Commons - Namensnennung 3.0

$Rev: 11761 $