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 ...
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.
People also ask
What is Maude specification language?
What is a language strategy?
We have developed a basic strategy language for Maude, to be used at the object level, rather than at the metalevel. The strategy language allows the definition ...
This paper describes the Maude strategy language along with its semantics, its implementation decisions, and several application examples from various fields.
Feb 1, 2024 · This paper describes the Maude strategy language along with its semantics, its implementation decisions, and several application examples from ...
Basic completion strategies as another application of the Maude strategy language. An Overview of the Maude Strategy Language and its Applications.
Jul 30, 2022 · In this paper, we give an overview of the Maude strategy language, its applications, related verification tools, and extensions, illustrated with examples.
An overview of the Maude strategy language, its applications, related verification tools, and extensions, illustrated with examples are given.
Aug 24, 2024 · ... Maude's strategy language has led us to study some general requirements for strategy languages. ... Towards a Strategy Language for Maude. Article.
Martí-Oliet, Towards a strategy language for Maude, № vol. 117, с. 417; Martí-Oliet, A rewriting semantics for Maude strategies, № vol. 238(3), с. 227; Martí ...