VPT 2014: Keyword Index

Keyword	Papers
c
Constraint Logic Programming	Program Verification using Constraint Handling Rules and Array Constraint Generalizations
h
higher-order	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
i
Isabelle/HOL	Formal Replay of Translation Validation for Highly Optimised C
l
lambda calculus	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
m
Markov's normal algorithms	On Unfolding for Programs Using Strings as a Data Type
n
nested Petri nets	Branching Processes of Conservative Nested Petri Nets
p
Petri nets	Branching Processes of Conservative Nested Petri Nets
ping-pong protocols	Verification of Multi-Party Ping-Pong Protocols via Program Transformation
prefix grammar	Verification of Multi-Party Ping-Pong Protocols via Program Transformation
program analysis	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? On Unfolding for Programs Using Strings as a Data Type
program specialization	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? On Unfolding for Programs Using Strings as a Data Type
program transformation	Program Verification using Constraint Handling Rules and Array Constraint Generalizations A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? On Unfolding for Programs Using Strings as a Data Type
program verification	Program Verification using Constraint Handling Rules and Array Constraint Generalizations
s
supercompilation	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? On Unfolding for Programs Using Strings as a Data Type Verification of Multi-Party Ping-Pong Protocols via Program Transformation
t
termination	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
Translation Validation	Formal Replay of Translation Validation for Highly Optimised C
true concurrency	Branching Processes of Conservative Nested Petri Nets
u
unfolding	On Unfolding for Programs Using Strings as a Data Type
unfoldings	Branching Processes of Conservative Nested Petri Nets
v
verification	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? Verification of Multi-Party Ping-Pong Protocols via Program Transformation Formal Replay of Translation Validation for Highly Optimised C
w
word equations	On Unfolding for Programs Using Strings as a Data Type