Author:
Balland Emilie,Brauner Paul,Kopetz Radu,Moreau Pierre-Etienne,Reilles Antoine
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;E. Balland,2006
2. ENTCS;P. Borovanský,1996
3. ENTCS;P. Borovanský,1998
4. Lecture Notes in Computer Science;M. Brand,2001
5. Brand, M., Klint, P., Olivier, P.: Compilation and Memory Management for ASF+SDF. Compiler Construction 1575, 198–213 (1999)
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specifying Fairness Constraints and Model Checking with Non-intensional Strategies;Lecture Notes in Computer Science;2024
2. Generic Encodings and Static Analysis of Constructor Rewriting Systems;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
3. PYEVOLVE: Automating Frequent Code Changes in Python ML Systems;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
4. An Overview of the Maude Strategy Language and its Applications;Rewriting Logic and Its Applications;2022
5. Zipping Strategies and Attribute Grammars;Functional and Logic Programming;2022