DOI10.1016/j.jlamp.2017.09.002zbMath1372.68056MaRDI QIDQ2409629
Vlad Rusu, Andrei Arusoaie
Publication date: 13 October 2017 Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave) Full work available at URL: https://hal.inria.fr/hal-01586341/file/wrla-jlamp-R2.pdf
zbMATH Keywords
higher-order function; Maude; reachability logic; state monad
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
Uses Software