ASF+SDF Meta-Environment
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
- AMMSE
- 2011
A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the… (More)
Is this relevant?
Review
2008
Review
2008
- 2008
Preface This thesis describes the graduation project which deduces a Master program Software Engineering at the University of… (More)
Is this relevant?
2004
2004
- Electr. Notes Theor. Comput. Sci.
- 2004
Some basic programming constructs (e.g., conditional statements) are found in many different programming languages, and can often… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
- ACM Trans. Program. Lang. Syst.
- 2002
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition and… (More)
Is this relevant?
2002
2002
- Electr. Notes Theor. Comput. Sci.
- 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
- CC
- 2001
The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for… (More)
Is this relevant?
2001
2001
- Electr. Notes Theor. Comput. Sci.
- 2001
Â
Is this relevant?
Review
1999
Review
1999
- 1999
The automatic generation of formatters for (programming) languages within the ASF+SDF Meta-Environment is a research topic that… (More)
Is this relevant?
Review
1999
Review
1999
- CC
- 1999
Can formal specification techniques be scaled-up to industrial problems such as the development of domain-specific languages and… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
- AMAST
- 1996
In recent years, a number of Dutch companies have used the algebraic specification formalism ASF+SDF. Bank MeesPierson has… (More)
Is this relevant?