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 条

[21] Research on the Basic Computer Application Learning Strategies in Rural Middle School
魏霞
海外英语, 2014, (17) : 92 - 93+105
[22] Stem cell therapy in stroke: strategies in basic study and clinical application
Liu, D. D.
Shyu, W. C.
Lin, S. Z.
Advances in Functional and Reparative Neurosurgery, 2006, 99 : 137 - 139
[23] Viral gene therapy strategies: from basic science to clinical application
Young, LS
Searle, PF
Onion, D
Mautner, V
JOURNAL OF PATHOLOGY, 2006, 208 (02): : 299 - 318
[24] Application of constraint and the control strategy description language in system analysis
Mei, Xie
Feng, Yanjian
Zhong, Xinyao
Zhu, Taohong
Ping, Ding
2014 INTERNATIONAL CONFERENCE ON POWER SYSTEM TECHNOLOGY (POWERCON), 2014, : 1053 - 1057
[25] A Heuristic Grafting Strategy for Manufacturing Knowledge Graph Extending and Completion Based on Nature Language Processing: KnowTree
He, Longlong
Dong, Bo
Jiang, Pingyu
IEEE ACCESS, 2021, 9 : 90847 - 90862
[26] APPLICATION OF COOPERATIVE LEARNING IN ENGLISH LANGUAGE ANXIETY REDUCTION STRATEGIES
Li, Yuefeng
PSYCHIATRIA DANUBINA, 2022, 34 : S304 - S305
[27] Application of Web-assisted Strategy in Foreign Language Learning
Fan, Rongping
Han, Qingshan
Fu, Rui
INFORMATION, COMMUNICATION AND EDUCATION APPLICATION, VOL 11, 2013, 11 : 408 - 410
[28] Application of Translation Strategies in Second Language Acquisition of Idioms and Buzzwords
Lin, Xuehua
PROCEEDINGS OF INTERNATIONAL SYMPOSIUM ON SECOND LANGUAGE ACQUISITION-BASED LANGUAGE PEDAGOGY, 2019, : 57 - 62
[29] The Relationship between Strategy Self-efficacy and Language Learning Strategies Use
Gao, Jian
PROCEEDINGS OF THE SECOND NORTHEAST ASIA INTERNATIONAL SYMPOSIUM ON LANGUAGE, LITERATURE AND TRANSLATION, 2012, : 147 - 152
[30] Application of didactic strategies and mathematical logical reasoning in students of the intermediate basic level
Alarcon Zambrano, Ligia Elena
Velez Villavicencio, Carlina Edith
REVISTA SAN GREGORIO, 2022, (50): : 58 - 71

← 1 2 3 4 5 →