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

From MaRDI portal
Publication:2409629

DOI10.1016/j.jlamp.2017.09.002zbMath1372.68056OpenAlexW2759708576MaRDI 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





Uses Software


Cites Work


This page was built for publication: Executing and verifying higher-order functional-imperative programs in Maude