ASF+SDF Meta-Environment

Known as: ASF+SDF 
The ASF+SDF Meta-Environment is an IDE and toolset for interactive program analysis and transformation. It combines SDF (Syntax Definition Formalism… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2016
02419932016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Review
2008
Review
2008
Preface This thesis describes the graduation project which deduces a Master program Software Engineering at the University of… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.2
  • figure 2.3
  • figure 5.2
Is this relevant?
2004
2004
Some basic programming constructs (e.g., conditional statements) are found in many different programming languages, and can often… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition and… (More)
  • table I
  • figure 1
  • table II
  • figure 3
  • table III
Is this relevant?
2002
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for… (More)
  • figure 1
  • figure 2
Is this relevant?
2001
Review
1999
Review
1999
The automatic generation of formatters for (programming) languages within the ASF+SDF Meta-Environment is a research topic that… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
Review
1999
Review
1999
Can formal specification techniques be scaled-up to industrial problems such as the development of domain-specific languages and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
In recent years, a number of Dutch companies have used the algebraic specification formalism ASF+SDF. Bank MeesPierson has… (More)
  • figure 1
  • figure 2
Is this relevant?