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
id ftunivfrankfurt:oai:publikationen.ub.uni-frankfurt.de:41336
record_format openpolar
spelling ftunivfrankfurt:oai:publikationen.ub.uni-frankfurt.de:41336 2023-12-31T10:05:17+01:00 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland Yuki, Chiba Escobar, Santiago Nishida, Naoki Sabel, David Schmidt-Schauß, Manfred 2015 application/pdf 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 eng eng http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/41336 urn:nbn:de:hebis:30:3-413363 https://nbn-resolving.org/urn:nbn:de:hebis:30:3-413363 978-3-939897-94-1 http://publikationen.ub.uni-frankfurt.de/files/41336/oasics-vol46-wpte2015-complete.pdf http://creativecommons.org/licenses/by/3.0/de/deed.de info:eu-repo/semantics/openAccess ddc:004 book doc-type:book 2015 ftunivfrankfurt 2023-12-03T23:41:43Z 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 Book Beluga Beluga* Publication Server of Goethe University Frankfurt am Main
institution Open Polar
collection Publication Server of Goethe University Frankfurt am Main
op_collection_id ftunivfrankfurt
language English
topic ddc:004
spellingShingle ddc:004
Yuki, Chiba
Escobar, Santiago
Nishida, Naoki
Sabel, David
Schmidt-Schauß, Manfred
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland
topic_facet ddc:004
description 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
format Book
author Yuki, Chiba
Escobar, Santiago
Nishida, Naoki
Sabel, David
Schmidt-Schauß, Manfred
author_facet Yuki, Chiba
Escobar, Santiago
Nishida, Naoki
Sabel, David
Schmidt-Schauß, Manfred
author_sort Yuki, Chiba
title 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland
title_short 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland
title_full 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland
title_fullStr 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland
title_full_unstemmed 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation : WPTE’15, July 2, 2015, Warsaw, Poland
title_sort 2nd international workshop on rewriting techniques for program transformations and evaluation : wpte’15, july 2, 2015, warsaw, poland
publishDate 2015
url 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
genre Beluga
Beluga*
genre_facet Beluga
Beluga*
op_relation http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/41336
urn:nbn:de:hebis:30:3-413363
https://nbn-resolving.org/urn:nbn:de:hebis:30:3-413363
978-3-939897-94-1
http://publikationen.ub.uni-frankfurt.de/files/41336/oasics-vol46-wpte2015-complete.pdf
op_rights http://creativecommons.org/licenses/by/3.0/de/deed.de
info:eu-repo/semantics/openAccess
_version_ 1786836862342529024

Similar Items