articleTheoretical Computer ScienceAug 1, 2002GREEN OA

Maude: specification and programming in rewriting logic

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

Universidad de Navarra · Universidad de Málaga · +2 more institutions

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

772
total citations
FWCI
81.88
Percentile
100%
References
78
Citations per year

Authors

7

Topics & keywords

Topics
Keywords
  • Programming language
  • Rewriting
  • Equational logic
  • Metaprogramming
  • Computer science
  • Logic programming
  • Reflection (computer programming)
  • Functional logic programming
No related works found for this paper.