OpenAlex
Executing and verifying higher-order functional-imperative programs in Maude
Work
Year: 2017
Type: article
Source: Journal of Logical and Algebraic Methods in Programming
Authors Vlad Rusu, Andrei Arusoaie
Institutions Centre de recherche Inria Lille - Nord Europe, Alexandru Ioan Cuza University
Cites: 44
Cited by: 3
Related to: 10
FWCI: 0.567
Citation percentile (by year/subfield): 60.13
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze