Basic completion strategies as another application of the Maude strategy language

被引：7
|
作者：
Verdejo, Alberto [1 ]
Marti-Oliet, Narciso [1 ]
机构：
[1] Univ Complutense Madrid, Fac Informat, Madrid, Spain
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2012年 / 82期
关键词：
D O I：
10.4204/EPTCS.82.2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control the application of those actions. This level is implemented on top of Maude as a strategy language, which has been successfully used in a wide range of applications. First we summarize the Maude strategy language design and review some of its applications; then, we describe a new case study, namely the description of completion procedures as transition rules + control, as proposed by Lescanne.
引用
收藏
页码：17 / 36
页数：20
相关论文
共 50 条
  • [31] On Problems and Strategies of Research Project Application, Applicants from Basic Course Department
    Li, Yunle
    Wang, Yuci
    Wang, Huichuan
    Zheng, Yanying
    SOCIAL SCIENCE AND EDUCATION, 2013, 10 : 56 - 61
  • [32] The Research of Investigation and Application Strategy of Foreign Language Information Resources in Colleges
    Sheng, Dongmei
    PROCEEDINGS OF THE 2018 8TH INTERNATIONAL CONFERENCE ON SOCIAL SCIENCE AND EDUCATION RESEARCH (SSER 2018), 2018, 238 : 574 - 576
  • [33] The role of strategy knowledge for the application of strategies in complex problem solving tasks
    Wüstenberg S.
    Stadler M.
    Hautamäki J.
    Greiff S.
    Technology, Knowledge and Learning, 2014, 19 (1-2) : 127 - 146
  • [34] Application of the "Basic Context English" technique to develop the skill of oral expression in English language in the first year of basic education
    Guijarro Paguay, Sandra
    Abarca Garcia, Sandra
    Larrea Vejar, Maritza
    Cazar Costales, Silvia
    Cazar Costales, Segundo
    DILEMAS CONTEMPORANEOS-EDUCACION POLITICA Y VALORES, 2018, 6 (01):
  • [35] Language learning strategies and individual learner characteristics: Situating strategy use in diverse contexts
    Liu, Honggang
    SYSTEM, 2018, 78 : 250 - 251
  • [36] Political strategies and language policies: the European Union Lisbon strategy and its implications for the EU's language and multilingualism policy
    Krzyzanowski, Michal
    Wodak, Ruth
    LANGUAGE POLICY, 2011, 10 (02) : 115 - 136
  • [37] Political strategies and language policies: the European Union Lisbon strategy and its implications for the EU’s language and multilingualism policy
    Michał Krzyżanowski
    Ruth Wodak
    Language Policy, 2011, 10 : 115 - 136
  • [38] Clinical Application of Low Vision Rehabilitation Strategies After Completion of a Computer-Based Training Module
    Nipp, Cheri M.
    Vogtle, Laura K.
    Warren, Mary
    OCCUPATIONAL THERAPY IN HEALTH CARE, 2014, 28 (03) : 296 - 305
  • [39] Measuring Effectiveness of Mobile Application in Learning Basic Mathematical Concepts Using Sign Language
    Parvez, Komal
    Khan, Muzafar
    Iqbal, Javed
    Tahir, Muhammad
    Alghamdi, Ahmed
    Alqarni, Mohammed
    Alzaidi, Amer Awad
    Javaid, Nadeem
    SUSTAINABILITY, 2019, 11 (11)
  • [40] Implementation of CTR Dairy Model Using the Visual Basic for Application Language of Microsoft Excel
    Ahmadi, A.
    Robinson, P. H.
    Elizondo, F.
    Chilibroste, P.
    INTERNATIONAL JOURNAL OF AGRICULTURAL AND ENVIRONMENTAL INFORMATION SYSTEMS, 2018, 9 (03) : 74 - 86
12345