VPT 2014 EASYCHAIR PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: C F H L M N P S T U V W

C
Constraint Logic Programming	Program Verification using Constraint Handling Rules and Array Constraint Generalizations (PDF, talk)
F
formalization	Formal Replay of Translation Validation for Highly Optimised C (PDF, talk)
H
higher-order	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem (PDF, talk)
L
lambda-calculus	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem (PDF, talk)
M
Markov's normal algorithms	On Unfolding for Programs Using Strings as a Data Type (PDF, talk)
N
nested Petri nets	Branching Processes of Conservative Nested Petri Nets (PDF, talk)
P
Petri nets	Branching Processes of Conservative Nested Petri Nets (PDF, talk)
ping-pong protocols	Verification of Multi-Party Ping-Pong Protocols via Program Transformation (PDF, talk)
prefix grammar	Verification of Multi-Party Ping-Pong Protocols via Program Transformation (PDF, talk)
program analysis	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? (PDF, talk) On Unfolding for Programs Using Strings as a Data Type (PDF, talk)
program specialization	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? (PDF, talk) On Unfolding for Programs Using Strings as a Data Type (PDF, talk)
program transformation	Program Verification using Constraint Handling Rules and Array Constraint Generalizations (PDF, talk) A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? (PDF, talk) On Unfolding for Programs Using Strings as a Data Type (PDF, talk)
program verification	Program Verification using Constraint Handling Rules and Array Constraint Generalizations (PDF, talk)
S
supercompilation	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem (PDF, talk) A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? (PDF, talk) On Unfolding for Programs Using Strings as a Data Type (PDF, talk) Verification of Multi-Party Ping-Pong Protocols via Program Transformation (PDF, talk)
T
termination	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem (PDF, talk)
Translation Validation	Formal Replay of Translation Validation for Highly Optimised C (PDF, talk)
true concurrency	Branching Processes of Conservative Nested Petri Nets (PDF, talk)
U
unfolding	On Unfolding for Programs Using Strings as a Data Type (PDF, talk)
unfoldings	Branching Processes of Conservative Nested Petri Nets (PDF, talk)
V
verification	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? (PDF, talk) Verification of Multi-Party Ping-Pong Protocols via Program Transformation (PDF, talk) Formal Replay of Translation Validation for Highly Optimised C (PDF, talk)
W
word equations	On Unfolding for Programs Using Strings as a Data Type (PDF, talk)