Login / Signup
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version).
Anish Tondwalkar
Matthew Kolosick
Ranjit Jhala
Published in:
CoRR (2021)
Keyphrases
</>
higher order
low order
pairwise
machine learning
image segmentation
specification language
data sets
artificial intelligence
learning objects
markov random field
conditional random fields
high order
multiple types
formal verification