Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs.

Johannes Åman Pohjola Henrik Rostedt Magnus O. Myreen

Published in: ITP (2019)

Keyphrases

imperative programs
programming environment
database
databases
data mining
image sequences
user interface