WST22 PROGRAM PAPERS: KEYWORD INDEX

( | |

(Probabilistic) Integer Programs | |

A | |

at least three keywords must be specified | |

Automatic Complexity Analysis | |

B | |

battle of Hercules and Hydra | |

C | |

Certification | |

Closed Form | |

Complexity | |

complexity analysis | |

Confluence | |

Control-Flow Refinement | |

D | |

decidable subclasses | |

Decision Procedure | |

F | |

formalization | |

H | |

higher-order term rewriting | |

I | |

Integer Programs | |

integer transition systems | |

Isabelle/HOL | |

L | |

Linear Loops | |

loop acceleration | |

M | |

Match-bounds | |

N | |

non-termination | |

P | |

Program verification | |

R | |

Ranking Functions | |

Recursive path ordering | |

Right barren | |

S | |

simplification order | |

String rewriting | |

T | |

term rewriting | |

Termination | |

termination analysis | |

tuple interpretations |