WPTE 2014 VSL PROCEEDINGS

Editors: Manfred Schmidt-Schauss, David Sabel, Masahiko Sakai and Yuki Chiba

Authors	Title	Paper	Talk
Andrew Gill	HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell		Jul 13 09:15
William Mansky and Elsa Gunter	Verifying Optimizations for Concurrent Programs		Jul 13 10:45
Masanori Nagashima, Tomofumi Kato, Masahiko Sakai and Naoki Nishida	Inverse Unfold Problem and Its Heuristic Solving		Jul 13 11:15
David Sabel	Structural Rewriting in the Pi-Calculus		Jul 13 12:00
Guillaume Madelaine, Cedric Lhoussaine and Joachim Niehren	Attractor Equivalence: An Observational Semantics for Reaction Networks		Jul 13 12:30
Naoki Nishida, Makishi Yanagisawa and Karl Gmeiner	On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings		Jul 13 14:30
Manfred Schmidt-Schauss and David Sabel	Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)		Jul 13 15:00
Yuki Chiba	Verifying the Correctness of Tupling Transformations based on Conditional Rewriting		Jul 13 15:30
Karl Gmeiner and Naoki Nishida	Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems		Jul 13 16:30
Georg Moser and Michael Schaper	A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems		Jul 13 17:00