Specifying and Verifying Higher-order Rust Iterators.

Xavier Denis Jacques-Henri Jourdan

Published in: TACAS (2) (2023)

Keyphrases

higher order
high order
markov random field
natural images
pairwise
low order
model checking
data sets
markov models
lambda calculus
lower order
control structure
conditional random fields
higher order cliques
image understanding
software engineering
special case
computer science
face recognition
high level