Towards a Program Logic for C11 Release-Sequences.

Mengda He Shengchao Qin João Fernando Ferreira

Published in: TASE (2018)

Keyphrases

sequential patterns
modal logic
hidden markov models
declarative semantics
functional programs
static analysis
multi valued
automated reasoning
logical representation
predicate logic
sequence analysis
defeasible logic
classical logic
databases
sequence alignment
case study
information systems