TALK KEYWORD INDEX

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

A | |

Ad-hoc overloading | |

aperiodic languages | |

Automata learning | |

Automatic Proof Inference | |

B | |

Bayesian networks | |

best1 | |

best2 | |

best3 | |

Boolean lattice | |

Boolean Petri nets | |

Boolean state separation | |

bounded and unbounded verification | |

C | |

CafeOBJ | |

Classical higher-order logic | |

Combinatorics | |

complexity characterization | |

Compliance | |

Composition | |

Compositionality | |

Concluding1 | |

Concluding2 | |

Concluding3 | |

Concurrency | |

Configurable software | |

confluence | |

Conservative theory extension | |

cyber-physical systems | |

D | |

Deductive verification | |

E | |

Elgot Iteration | |

F | |

Feature models | |

first-order logic | |

Fixed-Parameter Algorithm | |

Fork-Join Process | |

functional programming | |

Functorial characterisation | |

G | |

GPU verification | |

H | |

Hybrid System | |

I | |

Implementation correctness | |

input-driven languages | |

Invariant Generation | |

Isabelle | |

K | |

keynote1 | |

keynote2 | |

keynote3 | |

L | |

Linux Distribution | |

logic programming | |

Loops | |

M | |

monadic second-order logic | |

Myhill-Nerode theorem | |

N | |

Non-Determinism | |

O | |

Operational semantics | |

operator precedence languages | |

Optimization | |

P | |

Prob-Solvable Loops | |

Probabilistic Program | |

Program Analysis | |

Program Semantics | |

Proof-theoretic conservativity | |

Propostional logic | |

Q | |

Quantum computation | |

Quantum simulator | |

R | |

Reactive components | |

Register automata | |

relational programming | |

Replicated data types | |

Restricted Occupancy Number | |

S | |

Safe communication | |

semantics | |

Separation logic | |

Software product lines | |

Software Verification | |

Specification | |

star-free languages | |

Symbolic trace languages | |

Synchronisation policy | |

synthesis | |

T | |

Teaching | |

Team Automata | |

Theorem Proving | |

U | |

Uniform random generation | |

V | |

visibly-pushdown languages | |

visual programming language | |

W | |

Welcome1 | |

Welcome2 | |

Welcome3 | |

λ | |

λ-calculus |