Towards a Strategy Language for Maude

被引：39
|
作者：
Marti-Oliet, Narciso [1 ]
Meseguer, Jose [2 ]
Verdejo, Alberto [1 ]
机构：
[1] UCM, Fac Informat, Madrid, Spain
[2] UIUC, Dept Comp Sci, Urbana, IL 61820 USA
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 117卷
关键词：
Maude; rewrite strategies; search; strategy languages;
D O I：
10.1016/j.entcs.2004.06.020
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We describe a first proposal for a strategy language for Maude, to control the rewriting process and to be used at the object level instead of at the metalevel. We also describe a prototype implementation built over Full Maude using the metalevel and the metalanguage facilities provided by Maude. Finally, we include a series of examples that illustrate the main features of the proposed language.
引用
收藏
页码：417 / 441
页数：25
相关论文
共 50 条
  • [21] Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
    Moreno-Delgado, Antonio
    Duran, Francisco
    Meseguer, Jose
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2016, 2016, 9942 : 118 - 133
  • [22] Honor Maude
    Langdon, R
    JOURNAL OF PACIFIC HISTORY, 2001, 36 (02): : 253 - 255
  • [23] 'HAROLD AND MAUDE'
    FRAEFEL, U
    BALLETT INTERNATIONAL-TANZ AKTUELL, 1991, 14 (09): : 34 - 34
  • [24] Playing with Maude
    Palomino, Miguel
    Marti-Oliet, Narciso
    Verdejo, Alberto
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 124 (01) : 3 - 23
  • [25] HAROLD AND MAUDE
    Stables, Kate
    SIGHT AND SOUND, 2014, 24 (09): : 115 - 115
  • [26] SULTER,MAUDE
    BAYLISS, S
    ART IN AMERICA, 1993, 81 (05): : 120 - 121
  • [27] Maude Lloyd
    不详
    BALLETTANZ, 2005, (02): : 17 - 17
  • [28] Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
    James, Phillip
    Lawrence, Andrew
    Roggenbach, Markus
    Seisenberger, Monika
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 103 - 120
  • [29] EFL Learners' Perceptions towards Meta-Cognitive Strategy Use in English Language Listening
    Bidabadi, Farinaz Shirani
    Yamat, Hamidah
    GEMA ONLINE JOURNAL OF LANGUAGE STUDIES, 2013, 13 (03): : 31 - 43
  • [30] BOLTZ,MAUDE
    WOOSTER, AS
    ARTNEWS, 1976, 75 (07): : 125 - 125
12345