IsaK-Static: A Complete Static Semantics of \mathbb K.

Liyi Li Elsa L. Gunter

Published in: FACS (2018)

Keyphrases

special case
learning algorithm
artificial intelligence
computer vision
formal semantics
image processing
case study
domain knowledge
temporal logic