sle2012s/paper05

SLE 2012 SI paper:
Domain-specific program profiling and its application to attribute grammars and term rewriting

Anthony M. Sloane, Matthew Roberts

• DOI: 10.1016/j.scico.2014.02.011
• Extended version of Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation (SLE 2012)
• T3C: DSLs
  • The paper introduces and applies a domain-specific profiling language (dsprofile) tailored to expressing profiling concerns at a higher level.
• T5F: Performance
  • Profiling is fundamentally a performance-oriented activity, and the work focuses on specifying and extracting performance-related measurements.
• T4D: Interpretation
  • The approach concerns runtime profiling and interpretation of execution behaviour to produce profiling results from running programs.
• T4A: Workbenches
  • The language and its execution are realised via a reusable tooling framework/library (built on Kiama), positioning it as an engineering tool for profiling.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.