Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

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

C
Constraint Logic Programming	Program Verification using Constraint Handling Rules and Array Constraint Generalizations
F
formalization	Formal Replay of Translation Validation for Highly Optimised C
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	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 using Constraint Handling Rules and Array Constraint Generalizations
program verification	Program Verification using Constraint Handling Rules and Array Constraint Generalizations
S
supercompilation	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? Verification of Multi-Party Ping-Pong Protocols via Program Transformation Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem On Unfolding for Programs Using Strings as a Data Type
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