TALK KEYWORD INDEX

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

A | |

abort-freedom | |

abstract interpretation | |

Access control | |

amortized analysis | |

Anomalies | |

Anti-unification library for JAVA | |

automatic resolution | |

C | |

Cloud Computing | |

Computation of least general generalizations | |

conflicting rules | |

Constraint | |

Coq | |

D | |

Doxastic Logic | |

E | |

Epistemic Logic | |

F | |

Filtering rules | |

Firewall configuration | |

Formal mathematics | |

I | |

Implementation of anti-unification algorithms | |

Inference system | |

Interactive theorem proving | |

Invariant Relation | |

J | |

JavaScript | |

L | |

Legislation | |

M | |

Machine learning | |

Misconfigurations | |

mobile applications | |

Mutant Generation | |

Mutant Selection | |

Mutation Analysis | |

O | |

Ontology | |

P | |

parametric program analysis | |

Privacy | |

Probabilistic Logic | |

Program Repair | |

Proof advice | |

R | |

Refutation procedure | |

Relative Correctness | |

Resource bounds | |

Resource usage | |

S | |

Security | |

Security policy | |

Semantic Web | |

strategy iteration | |

Stream Reasoning | |

superfluous rules | |

T | |

Temporal Logic | |

termination | |

Type System | |

Type theory | |

W | |

while loops | |

X | |

XML document | |

XPath pattern |