Metalevel transformation of strategies
- 1 January 2022
- journal article
- research article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 124
Abstract
No abstract availableKeywords
All Related Versions
Funding Information
- Gobierno de España Ministerio de Ciencia e Innovación (PID2019-108528RB-C22)
- Gobierno de España Ministerio de Ciencia e Innovación (TIN2015-67522-C3-3-R)
- Gobierno de Espana Ministerio de Ciencia Innovacion y Universidades (FPU17/02319)
- Ministry of Communications and Information, Singapore
This publication has 9 references indexed in Scilit:
- A Survey of Metaprogramming LanguagesACM Computing Surveys, 2019
- Strategic port graph rewriting: an interactive modelling frameworkMathematical Structures in Computer Science, 2018
- Stratego/XT 0.17. A language and toolset for program transformationScience of Computer Programming, 2008
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logicTheoretical Computer Science, 2007
- Solving SAT and SAT Modulo TheoriesJournal of the ACM, 2006
- Foundations of the rule-based system ρLogJournal of Applied Non-Classical Logics, 2006
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICSInternational Journal of Foundations of Computer Science, 2001
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986