bookJul 20, 2007Closed access

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

MCManuel ClavelFDFrancisco DuránSESteven EkerPLPatrick LincolnNMNarciso Martı́-Oliet

Universidad Complutense de Madrid · Universidad de Málaga · +2 more institutions

Abstract

No abstract available for this paper.

Citation impact

633
total citations
FWCI
15.37
Percentile
100%
References
0
Citations per year

Authors

7

Topics & keywords

Topics
Keywords
  • Programming language
  • Computer science
  • Rewriting
  • Metaprogramming
  • Parsing
  • Syntax
  • Abstract syntax
  • Metalanguage
No related works found for this paper.