Warm fusion in Stratego: A case study in generation of program transformation systems

DOI10.1023/A:1018956702672zbMath1014.68034OpenAlexW1496084514MaRDI QIDQ1601856

Patricia Johann, Eelco Visser

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018956702672

zbMATH Keywords

domain-specific languageprogram transformation systemsStratego

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

GC\(^{2}\): a generational conservative garbage collector for the ATERM library, Fusing Logic and Control with Local Transformations, Scoped Dynamic Rewrite Rules

Uses Software

• ATERM