Search results for "ASF SDF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
140	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling language definitions: the ASF+SDF compiler.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	language definition, maximal subterm sharing, Compilation, term rewriting
109	Marcel van Amstel, Christian F. J. Lange, Mark van den Brand	Using Metrics for Assessing the Quality of ASF+SDF Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
109	Mark 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 0001	The ASF+SDF Meta-environment: A Component-Based Language Development Environment.	CC	2001	DBLP DOI BibTeX RDF
68	Ralf Lämmel, Guido Wachsmuth	Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment.	LDTA@ETAPS	2001	DBLP DOI BibTeX RDF
55	Jeroen Arnoldus, Jeanot Bijpost, Mark van den Brand	Repleo: a syntax-safe template engine.	GPCE	2007	DBLP DOI BibTeX RDF	ASF+SDF, concrete object syntax, repleo, syntax safety, code generators, templates, meta programming
47	Peter D. Mosses	Semantics of programming languages: Using Asf+Sdf.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
47	Doaa Hassan	Tracking Insecure Information Flows: A Prototype Evaluator in ASF+SDF.	ICISS	2012	DBLP DOI BibTeX RDF
47	Suzana Andova, Mark van den Brand, Luc Engelen	Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models	AMMSE	2011	DBLP DOI BibTeX RDF
47	Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen	The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.	LDTA@ETAPS	2002	DBLP DOI BibTeX RDF
47	Peter D. Mosses	Action Semantics and ASF+SDF: System Demonstration.	LDTA@ETAPS	2002	DBLP DOI BibTeX RDF
47	Mark van den Brand, Arie van Deursen, Jan Heering, Hayco de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser 0001	The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment.	LDTA@ETAPS	2001	DBLP DOI BibTeX RDF
47	Mark van den Brand, Christophe Ringeissen	ASF+SDF parsing tools applied to ELAN.	WRLA	2000	DBLP DOI BibTeX RDF
47	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling Language Definitions: The ASF+SDF Compiler	CoRR	2000	DBLP BibTeX RDF
47	Mark van den Brand, Paul Klint, Pieter A. Olivier	Compilation and Memory Management for ASF+SDF.	CC	1999	DBLP DOI BibTeX RDF
47	Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen	Industrial Applications of ASF+SDF.	AMAST	1996	DBLP DOI BibTeX RDF
47	Mark van den Brand, Eelco Visser	The Asf+Sdf Meta-Environment Documentation Tools for Free!	TAPSOFT	1995	DBLP DOI BibTeX RDF
47	Arie van Deursen, T. B. Dinesh, Emma van der Meulen	The ASF+SDF Meta-environment.	AMAST	1993	DBLP BibTeX RDF
47	Arie van Deursen, Peter D. Mosses	Executing Action Semantic Descriptions using ASF+SDF.	AMAST	1993	DBLP BibTeX RDF
31	James R. Cordy	Eating our own dog food: DSLs for generative and transformational engineering.	GPCE	2009	DBLP DOI BibTeX RDF	source transformation systems, domain-specific languages, model driven engineering, generative programming
31	María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda	A Modular Equational Generalization Algorithm.	LOPSTR	2008	DBLP DOI BibTeX RDF
31	Mark van den Brand	Applications of the Asf+SdfMeta-Environment.	GTTSE	2005	DBLP DOI BibTeX RDF
31	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Claude Marché, Xavier Urbain	Proving termination of membership equational programs.	PEPM	2004	DBLP DOI BibTeX RDF	program transformation, termination, term rewriting, membership equational logic
31	Mark van den Brand, H. A. de Jong, Paul Klint, A. Taeke Kooiker	A language development environment for Eclipse.	eTX	2003	DBLP DOI BibTeX RDF
31	Haiming Chen, Yunmei Dong	Yet another meta-language for programming language processing.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	programming language processing, context-free language, recursive function, meta-language
31	Hayco de Jong, Paul Klint	ToolBus: The Next Generation.	FMCO	2002	DBLP DOI BibTeX RDF
31	Paul Klint	A Meta-Environment for Generating Programming Environments.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF