K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
Work
Year: 2010
Type: book-chapter
Authors Traian Florin Șerbănuță, Grigore Roşu
Institution University of Illinois Urbana-Champaign
Cites: 17
Cited by: 38
Related to: 10
FWCI: 4.111
Citation percentile (by year/subfield): 94.58
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: closed