ASF+SDF

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 44 articles , 1 standard article )

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

1 2 3 next

  1. 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)
  2. Chabin, Jacques; Halfeld-Ferrari, Mirian; Musicante, Martin A.; Réty, Pierre: Minimal tree language extensions: a keystone of XML type compatibility and evolution (2010)
  3. Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne: Anti-patterns for rule-based languages (2010)
  4. de Boer, Frank S.; Grabe, Immo: Automated deadlock detection in synchronized reentrant multithreaded call-graphs (2010)
  5. 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)
  6. Engelen, Luc; Den Brand, Mark Van: Integrating textual and graphical modelling languages (2010)
  7. Krahn, Holger; Rumpe, Bernhard; Völkel, Steven: MontiCore: a framework for compositional development of domain specific languages (2010)
  8. Ordóñez Camacho, Diego; Mens, Kim; van den Brand, Mark; Vinju, Jurgen: Automated generation of program translation and verification tools using annotated grammars (2010)
  9. Durán, Francisco; Roldán, Manuel; Balland, Emilie; Den Brand, Mark Van; Eker, Steven; Kalleberg, Karl Trygve; Kats, Lennart C.L.; Moreau, Pierre-Etienne; Schevchenko, Ruslan; Visser, Eelco: The second rewrite engines competition (2009)
  10. 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)
  11. Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore: A rewriting logic approach to type inference (2009)
  12. Kalleberg, Karl Trygve; Visser, Eelco: Fusing a transformation language with an open compiler. (2008)
  13. Klint, Paul; Kooiker, A.Taeke; Vinju, Jurgen J.: Language parametric module management for ides. (2008)
  14. Chothia, Tom; Duggan, Dominic; Wu, Ye: An end-to-end approach to distributed policy language implementation: (Extended abstract). (2007)
  15. Denker, Grit; Talcott, Carolyn L.; Rosu, Grigore; Den Brand, Mark Van; Eker, Steven; Serbanuta, Traian-Florin: Rewriting logic systems. (2007)
  16. Van Weerdenburg, Muck: An account of implementing applicative term rewriting. (2007)
  17. Andrei, Oana; Ibanescu, Liliana; Kirchner, Hélène: Non-intrusive formal methods and strategic rewriting for a chemical application (2006)
  18. Camacho, Diego Ordonez; Mens, Kim; Den Brand, Mark Van; Vinju, Jurgen J.: Automated derivation of translators from annotated grammars. (2006)
  19. Rebernak, Damijan; Mernik, Marjan; Henriques, Pedro Rangel; Pereira, Maria João Varanda: Aspectlisa: An aspect-oriented compiler construction system based on attribute grammars. (2006)
  20. van den Brand, Mark; Iversen, Jørgen; Mosses, Peter D.: An action environment (2006)

1 2 3 next