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 |