Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C G K L M N S Y

B
Break,	Short break
C
Chiba, Yuki	Verifying the Correctness of Tupling Transformations based on Conditional Rewriting
G
Gill, Andrew	HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell
Gmeiner, Karl	On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems
Gunter, Elsa	Verifying Optimizations for Concurrent Programs
K
Kato, Tomofumi	Inverse Unfold Problem and Its Heuristic Solving
L
Lhoussaine, Cedric	Attractor Equivalence: An Observational Semantics for Reaction Networks
M
Madelaine, Guillaume	Attractor Equivalence: An Observational Semantics for Reaction Networks
Mansky, William	Verifying Optimizations for Concurrent Programs
Moser, Georg	A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems
N
Nagashima, Masanori	Inverse Unfold Problem and Its Heuristic Solving
Niehren, Joachim	Attractor Equivalence: An Observational Semantics for Reaction Networks
Nishida, Naoki	Inverse Unfold Problem and Its Heuristic Solving On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems
S
Sabel, David	Structural Rewriting in the Pi-Calculus Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)
Sakai, Masahiko	Inverse Unfold Problem and Its Heuristic Solving
Schaper, Michael	A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems
Schmidt-Schauß, Manfred	Opening Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) Closing
Y
Yanagisawa, Makishi	On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings