Executing and verifying higher-order functional-imperative programs in Maude.

Vlad Rusu Andrei Arusoaie

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

higher order
imperative programs
natural images
high order
pairwise
model checking
markov random field
low order
dynamic logic
lower order
knowledge base
mobile robot
fixed point
formal specification
lambda calculus