VPT 2014:Keyword Index

KeywordPapers
C
Constraint Logic ProgrammingProgram Verification using Constraint Handling Rules and Array Constraint Generalizations
H
higher-orderLocal Driving in Higher-Order Positive Supercompilation via the Omega-theorem
I
Isabelle/HOLFormal Replay of Translation Validation for Highly Optimised C
L
lambda calculusLocal Driving in Higher-Order Positive Supercompilation via the Omega-theorem
M
Markov's normal algorithmsOn Unfolding for Programs Using Strings as a Data Type
N
nested Petri netsBranching Processes of Conservative Nested Petri Nets
P
Petri netsBranching Processes of Conservative Nested Petri Nets
ping-pong protocolsVerification of Multi-Party Ping-Pong Protocols via Program Transformation
prefix grammarVerification of Multi-Party Ping-Pong Protocols via Program Transformation
program analysisA Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
On Unfolding for Programs Using Strings as a Data Type
program specializationA Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
On Unfolding for Programs Using Strings as a Data Type
program transformationProgram 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 verificationProgram Verification using Constraint Handling Rules and Array Constraint Generalizations
S
supercompilationLocal 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
terminationLocal Driving in Higher-Order Positive Supercompilation via the Omega-theorem
Translation ValidationFormal Replay of Translation Validation for Highly Optimised C
true concurrencyBranching Processes of Conservative Nested Petri Nets
U
unfoldingOn Unfolding for Programs Using Strings as a Data Type
unfoldingsBranching Processes of Conservative Nested Petri Nets
V
verificationA 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 equationsOn Unfolding for Programs Using Strings as a Data Type