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 条

[41] One Way or Another: Cortical Language Areas Flexibly Adapt Processing Strategies to Perceptual And Contextual Properties of Speech
Klimovich-Gray, Anastasia
Barrena, Ander
Agirre, Eneko
Molinaro, Nicola
CEREBRAL CORTEX, 2021, 31 (09) : 4092 - 4103
[42] Yet another look at strategies for learning grammar: Validating the Grammar Learning Strategy Inventory in the Iranian EFL context
Miroslaw, Pawlak
Derakhshan, Ali
Mehdizadeh, Mostafa
Kruk, Mariusz
SYSTEM, 2023, 118
[43] Mobile Application as a Teaching Strategy to Learn English as a Second Language for Preschool Children
Rodriguez Guerrero, Rocio
Andres Gomez, Miguel
Alberto Vanegas, Carlos
MOBILE TECHNOLOGIES AND APPLICATIONS FOR THE INTERNET OF THINGS, 2019, 909 : 273 - 283
[44] APPLYING STRATEGY INVENTORY FOR LANGUAGE LEARNING AND THE MOTIVATED STRATEGIES FOR LEARNING QUESTIONNAIRE IN ASSESSING LEARNING STRATEGIES AND MOTIVATION OF IRANIAN EFL LEARNERS
Kargozari, Hamid R.
Zahabi, Ali
Ghaemi, Hamed
MODERN JOURNAL OF LANGUAGE TEACHING METHODS, 2012, 2 (01): : 14 - 22
[45] Basic hope, level of stress and strategies used to cope with stress after miscarriage during hospitalization and 3 months after its completion
Bialek, Katarzyna
Sadowski, Marcin
Adamczyk-Gruszka, Olga
Mlodawski, Jakub
Swiercz, Grzegorz
GINEKOLOGIA POLSKA, 2024, 95 (01) : 1 - 10
[46] A Smartphone Application for the Completion of IMiD Risk Evaluation and Mitigation Strategy (REMS) Patient Surveys: The REMS Companion App
Sweeney, N.
Chapman, J.
Varandas, J.
McWilliams, R.
Roldan, J.
Chan-Liston, M. L.
DRUG SAFETY, 2021, 44 (12) : 1465 - 1466
[47] Nanoconfined catalytic macrostructures for advanced water remediation: From basic understanding to future application strategies
Chang, Jiale
Yu, Bingliang
Peng, Xiaoming
Zhang, Ping
Xu, Xing
WATER RESEARCH, 2025, 272
[48] Factor analysis of the ESL/EFL Strategy Inventory for Language Learning: Generation 1.5 Korean immigrant college students' language learning strategies
Heo, Misook
Stoffa, Rosa
Kush, Joseph C.
LANGUAGE CULTURE AND CURRICULUM, 2012, 25 (03) : 231 - 247
[49] Learning Agility during Pandemic; Outstanding Strategy in Language Learning by Using Zoom Application
Mundiri, Akmal
Eka Mahmud, Muchammad
Ubaidillah, Muhammad
Azizah, Nur
Zuhro, Lailatus
Hasanah, Faiqotul
Journal of Physics: Conference Series, 2021, 1779 (01)
[50] A Bottom-up Strategy for Clustering Complex Datasets with Application to Language and Script Discrimination
Amelio, Alessia
ERCIM NEWS, 2015, (103): : 33 - 34

← 1 2 3 4 5 →