| Year | 2017 |
|---|---|
| Type | Journal |
| Status | Published |
| Authors | Vlad Rusu, Andrei Arusoaie |
Links
BibTeX
@article{RUSU201768,
title = "Executing and verifying higher-order functional-imperative programs in Maude",
journal = "Journal of Logical and Algebraic Methods in Programming",
volume = "93",
pages = "68 - 91",
year = "2017",
issn = "2352-2208",
doi = "https://doi.org/10.1016/j.jlamp.2017.09.002",
url = "http://www.sciencedirect.com/science/article/pii/S2352220816301390",
author = "Vlad Rusu and Andrei Arusoaie",
keywords = "Maude, Higher-order function, State monad, Reachability Logic"
}