2002
DOI: 10.1145/567097.567099
|View full text |Cite
|
Sign up to set email alerts
|

Compiling language definitions

Abstract: The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition of domain-specific languages, generation of program analysis and transformation tools, production of software renovation tools, and general specification and prototyping. It uses conditional rewrite rules to define the dynamic semantics and other tooloriented aspects of languages, so the effectiveness of the generated tools is critically dependent on the quality of the rewrite rule implem… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

1
82
0

Year Published

2004
2004
2017
2017

Publication Types

Select...
5
4
1

Relationship

0
10

Authors

Journals

citations
Cited by 149 publications
(83 citation statements)
references
References 39 publications
1
82
0
Order By: Relevance
“…Static analyzers can be divided into lightweight ones, which use a subset of the target language grammar and semantics and trade fact completeness and accuracy for speed and simplicity; and heavyweight ones, which do full syntactic and semantic analysis at higher cost. Well-known static analyzers include LLVM [9], ROSE [10], Cppx [11], Columbus [12], Eclipse CDT [13], and Elsa [14] (for C/C++), Recoder [15] (for Java), and ASF+SDF (a metaframework with language-specific front-ends) [16]. Metric tools include CodeCrawler [17], Understand [18], and Visual Studio Team System (VSTS).…”
Section: Related Workmentioning
confidence: 99%
“…Static analyzers can be divided into lightweight ones, which use a subset of the target language grammar and semantics and trade fact completeness and accuracy for speed and simplicity; and heavyweight ones, which do full syntactic and semantic analysis at higher cost. Well-known static analyzers include LLVM [9], ROSE [10], Cppx [11], Columbus [12], Eclipse CDT [13], and Elsa [14] (for C/C++), Recoder [15] (for Java), and ASF+SDF (a metaframework with language-specific front-ends) [16]. Metric tools include CodeCrawler [17], Understand [18], and Visual Studio Team System (VSTS).…”
Section: Related Workmentioning
confidence: 99%
“…For instance, MS 2 implements a C grammar [26], metafront implements grammars for Java and HTML [3], and Ur implements grammars for HTML and SQL [4]. These macro systems approach the level of complexity of extensible compiler toolkits such as ASF+SDF [25], Polyglot [18], or xtc [8,10]. While the approach of implementing a grammar works well enough for targeted language extensions and small domain-specific languages, it is problematic for large, existing languages.…”
Section: Language-specific Safe Macro Systemsmentioning
confidence: 99%
“…Rewriting languages -ASF+SDF [97] is a compiled language based on first-order term rewriting with traversal functions, providing concrete syntax for patterns in rules. -TXL [31] is an interpreted, rule-based functional language with concrete syntax patterns, and a form of deep application of rules.…”
Section: Model Representationmentioning
confidence: 99%