researchr - search publication ASF+SDF

researchr

You are not signed in
Sign in
Sign up

84 publication results matching 'ASF+SDF'

Optimizations of List Matching in the ASF+SDF Compiler
… This thesis describes several optimizations of the run-time behavior of list matching and list construction in the ASF+SDF run-time. The basic semantics of lists in ASF+SDF is based on a persistent data-structure called ATerms that employs …
Jurgen J. Vinju. Master's thesis, Universiteit van Amsterdam, nov 1999.
ASF+SDF 1995. A Workshop on Generating Tools from Algebraic SpecificationsMark G. J. van den Brand, Vania Vieira Estrela, editors, Technical Report P9504, Programming Research Group, University of Amsterdam, 1995.
2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997)M. P. A. Sellink, editor, Electronic Workshops in Computing, Springer-Verlag, Berlin, 1997.
Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment
… . The executable specification of FST is based on the ASF+SDF Meta-Environment … is immediately operational in the ASF+SDF Meta-Environment. …We describe FST - a Framework for SDF Transformation. FST supports …
Ralf Lämmel, Guido Wachsmuth. ENTCS, 44(2):9-33, 2001. [doi]
Industrial Applications of ASF+SDFMark G. J. van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen. amast 1996: 9-18
The ASF+SDF Meta-environmentArie van Deursen, T. B. Dinesh, Emma van der Meulen. amast 1994: 411-412
The ASF+SDF Meta-environment: A Component-Based Language Development Environment
… The Asf+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 …
Mark G. J. van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser. CC 2001: 365-370 [doi]
Compilation and Memory Management for ASF+SDFMark G. J. van den Brand, Paul Klint, Pieter A. Olivier. cc 1999: 198-213
Executing Action Semantic Descriptions using ASF+SDFArie van Deursen, Peter D. Mosses. amast 1994: 413-414
Compiling language definitions: the ASF+SDF compilerMark G. J. van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier. TOPLAS, 24(4):334-368, 2002. [doi]
ASF+SDF parsing tools applied to ELANMark G. J. van den Brand, Christophe Ringeissen. ENTCS, 36:138-157, 2000. [doi]
Compiling Language Definitions: The ASF+SDF CompilerMark G. J. van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier. corr, cs.PL/0007008, 2000. [doi]
Action Semantics and ASF+SDF: System DemonstrationPeter D. Mosses. ENTCS, 65(3):2-8, 2002. [doi]
The Asf+Sdf Meta-Environment Documentation Tools for Free!
… …
Mark G. J. van den Brand, Eelco Visser. tapsoft 1995: 803-804 [doi]
A Family of Syntax Definition Formalisms
… with the algebraic specification formalism ASF+SDF. It provides the following features …
Eelco Visser. ASF+SDF 1995:
Semantics of programming languages: Using Asf+SdfPeter D. Mosses. SCP, 97:2-10, 2015. [doi]
Using Metrics for Assessing the Quality of ASF+SDF Model TransformationsMarcel van Amstel, Christian F. J. Lange, Mark G. J. van den Brand. ICMT 2009: 239-248 [doi]
Tracking Insecure Information Flows: A Prototype Evaluator in ASF+SDFDoaa Hassan. iciss 2012: 310-326 [doi]
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System DemonstrationMark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen. ENTCS, 65(3):50-56, 2002. [doi]
The Second Rewrite Engines Competition
… The 2nd Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated ve systems, namely ASF+SDF, Maude, Stratego/XT …
Francisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. ENTCS, 238(3):281-291, 2009. [doi]

Sign in or sign up to see more results.

runs on WebDSL