The ASF+SDF meta-environment: A component-based language development environment. The AS+SDF Meta-environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. Over the years, this system has been used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since the existing implementation of the ASF+SDF Meta-environment started exhibiting more and more characteristics of a legacy system, we decided to build a completely new, component-based, version. We demonstrate this new system and stress its open architecture.

References in zbMATH (referenced in 35 articles , 1 standard article )

Showing results 1 to 20 of 35.
Sorted by year (citations)

1 2 next

  1. Zhang, Min; Ogata, Kazuhiro: From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (2018)
  2. Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea: CLP((\mathsfH)): constraint logic programming for hedges (2016)
  3. Söderberg, Emma; Hedin, Görel: Declarative rewriting through circular nonterminal attributes (2015)
  4. Hwong, Yi-Ling; Kusters, Vincent J. J.; Willemse, Tim A. C.: Analysing the control software of the compact Muon Solenoid experiment at the large hadron collider (2012) ioport
  5. Chabin, Jacques; Halfeld-Ferrari, Mirian; Musicante, Martin A.; Réty, Pierre: Minimal tree language extensions: a keystone of XML type compatibility and evolution (2010)
  6. Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne: Anti-patterns for rule-based languages (2010)
  7. de Boer, Frank S.; Grabe, Immo: Automated deadlock detection in synchronized reentrant multithreaded call-graphs (2010)
  8. Durán, Francisco; Roldán, Manuel; Bach, Jean-Christophe; Balland, Emilie; van den Brand, Mark; Cordy, James R.; Eker, Steven; Engelen, Luc; de Jonge, Maartje; Kalleberg, Karl Trygve; Kats, Lennart C. L.; Moreau, Pierre-Etienne; Visser, Eelco: The third rewrite engines competition (2010)
  9. Krahn, Holger; Rumpe, Bernhard; Völkel, Steven: MontiCore: a framework for compositional development of domain specific languages (2010) ioport
  10. Ordóñez Camacho, Diego; Mens, Kim; van den Brand, Mark; Vinju, Jurgen: Automated generation of program translation and verification tools using annotated grammars (2010)
  11. Durán, Francisco; Roldán Manuel; Balland, Emilie; van den Brand, Mark; Steven, Eker; Kalleberg, Karl Trygve; Kats, Lennart C. L.; Moreau, Pierre-Etienne; Schevchenko, Ruslan; Visser, Eelco: The second rewrite engines competition (2009) ioport
  12. Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore: A rewriting logic approach to type inference (2009)
  13. Denker, Grit; Talcott, Carolyn; Rosu, Grigore; van den Brand, Mark; Eker, Steven; Şerbănuţă, Traian Florin: Rewriting logic systems (2007) ioport
  14. van Weerdenburg, Muck: An account of implementing applicative term rewriting (2007)
  15. Andrei, Oana; Ibanescu, Liliana; Kirchner, Hélène: Non-intrusive formal methods and strategic rewriting for a chemical application (2006)
  16. van den Brand, Mark; Iversen, Jørgen; Mosses, Peter D.: An action environment (2006)
  17. Klusener, A. S.; Lämmel, R.; Verhoef, C.: Architectural modifications to deployed software (2005)
  18. Lämmel, Ralf: Programmable rewriting strategies in Haskell (white paper) (2005)
  19. Mernik, Marjan; Žumer, Viljem: Incremental programming language development (2005)
  20. Paige, Robert: An NSF proposal (2005)

1 2 next