Search results for "tool generation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White	From dirt to shovels: fully automatic tool generation from ad hoc data.	POPL	2008	DBLP DOI BibTeX RDF	ad hoc data, grammar induction, data description languages, tool generation
1	Qian Xi, David Walker	A context-free markup language for semi-structured text.	PLDI	2010	DBLP DOI BibTeX RDF	ANNE, ad hoc data, domain-specific languages, PADS, tool generation
1	Hui Wu, Jeffrey G. Gray, Marjan Mernik	Unit Testing for Domain-Specific Languages.	DSL	2009	DBLP DOI BibTeX RDF	Domain-specific languages, unit testing, tool generation
1	Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu	Ad Hoc Data and the Token Ambiguity Problem.	PADL	2009	DBLP DOI BibTeX RDF
1	Kathleen Fisher, David Walker, Kenny Qili Zhu	LearnPADS: automatic tool generation from ad hoc data.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	ad hoc data, grammar induction, data description language, tools generation
1	Bruno González-Baixauli, Miguel A. Laguna, Julio Cesar Sampaio do Prado Leite	A Meta-Model for Requirements Variability Analysis - Application to Tool Generation and Model Composition.	ICSOFT (PL/DPS/KE/MUSE)	2007	DBLP BibTeX RDF
1	Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer	PADS/ML: a functional data description language.	POPL	2007	DBLP DOI BibTeX RDF	functional programming, domain-specific languages, ML, parsing, modules, dependent types, printing, data description languages
1	Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Charles C. Weems	Modeling Modern Micro-architectures using CASL.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Alexandro Baldassin, Paulo Centoducatte, Sandro Rigo, Daniel C. Casarotto, Luiz C. V. dos Santos, Max R. de O. Schultz, Olinto J. V. Furtado	Automatic Retargeting of Binary Utilities for Embedded Code Generation.	ISVLSI	2007	DBLP DOI BibTeX RDF
1	Hui Wu	Grammar-driven generation of domain-specific language tools.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	testing, debugging, mapping, grammar, DSLs
1	Hidetomo Sakaino	The photodynamic tool: generation of animation from a single texture image.	ICME	2005	DBLP DOI BibTeX RDF	unique interface, photodynamic tool, PDT, animation editing method, standard warping method, advection equation, velocity vector, quasilinear motion, image texture, linear equation, Navier-Stokes equation
1	David H. Akehurst, Stuart Kent, Octavian Patrascoiu	A relational approach to defining and implementing transformations between metamodels.	Software and System Modeling	2003	DBLP DOI BibTeX RDF	UML, Model-driven architecture, Model transformation
1	Frank Tip, T. B. Dinesh	A slicing-based approach for locating type errors.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	semantics-based tool generation, abstract interpretation, program slicing, type-checking, static semantics
1	Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia	An Extensible System for Source Code Analysis.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	intermediate program representations, Reverse engineering, integration, software maintenance, code analysis, tool generation
1	Stan Jarzabek	Design of Flexible Static Program Analyzers with PQL.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Program analysis for understanding, program query language, reverse engineering, software maintenance, program modeling, tool generation
1	Anthony M. Sloane	Generating Dynamic Program Analysis Tools.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure
1	Mauro Pezzè, Michal Young	Generation of Multi-Formalism State-Space Analysis Tools.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Yves Bertot, Ranan Fraer	Reasoning with Executable Specifications.	TAPSOFT	1995	DBLP DOI BibTeX RDF
1	Shuji Nakata, Go Yamazaki	ISMOS: A System Based on the ER Model and its Application to Database-Oriented Tool Generation.	ER	1983	DBLP BibTeX RDF