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

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

1 2 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. Krahn, Holger; Rumpe, Bernhard; Völkel, Steven: MontiCore: a framework for compositional development of domain specific languages (2010)
  7. Ordóñez Camacho, Diego; Mens, Kim; van den Brand, Mark; Vinju, Jurgen: Automated generation of program translation and verification tools using annotated grammars (2010)
  8. 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)
  9. Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore: A rewriting logic approach to type inference (2009)
  10. Andrei, Oana; Ibanescu, Liliana; Kirchner, Hélène: Non-intrusive formal methods and strategic rewriting for a chemical application (2006)
  11. van den Brand, Mark; Iversen, Jørgen; Mosses, Peter D.: An action environment (2006)
  12. Mernik, Marjan; Žumer, Viljem: Incremental programming language development (2005)
  13. Paige, Robert: An NSF proposal (2005)
  14. Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus; van Weelden, Arjen: Automatic generation of editors for higher-order data structures (2004)
  15. Bidoit, Michel; Mosses, Peter D.: CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (2004)
  16. de Jong, H.A.; Olivier, P.A.: Generation of abstract programming interfaces from syntax definitions (2004)
  17. van den Brand, Mark G.J.; Scheerder, Jeroen; Vinju, Jurgen J.; Visser, Eelco: Disambiguation filters for scannerless generalized LR parsers (2002)
  18. van Deursen, Arie; Klint, Paul: Domain-specific language design requires feature descriptions (2002)
  19. Van Wyk, Eric; de Moor, Oege; Backhouse, Kevin; Kwiatkowski, Paul: Forwarding in attribute grammars for modular language design (2002)
  20. van den Brand, M.G.J.; van Deursen, A.; Heering, J.; de Jong, H.A.; de Jonge, M.: The ASF+SDF meta-environment: A component-based language development environment (2001)

1 2 next