Search results for "TXL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
189	James R. Cordy	Source transformation, analysis and generation in TXL.	PEPM	2006	DBLP DOI BibTeX RDF	TXL, rapid prototyping, migration, translators, test-driven development, term rewriting, re-engineering, software analysis, rule-based programming, source transformation
157	Hongzhi Liang, Jürgen Dingel	A Practical Evaluation of Using TXL for Model Transformation.	SLE	2008	DBLP DOI BibTeX RDF
136	Adrian D. Thurston, James R. Cordy	Evolving TXL.	SCAM	2006	DBLP DOI BibTeX RDF
125	Jürgen Dingel, Hongzhi Liang	Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring
94	James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider	Software Engineering by Source Transformation-Experience with TXL.	SCAM	2001	DBLP DOI BibTeX RDF
53	Medha Shukla Sarkar, Abisoye Mudasiru, Nilanjan Sarkar	Design and implementation of a command processor for high level human-robot interaction system.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	TXL, command processor, transformation languages
51	Thomas R. Dean, James R. Cordy, Andrew J. Malton, Kevin A. Schneider	Agile Parsing in TXL.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	agile parsing, grammar adaptation, program comprehension, parsing, grammars, source transformation
42	Medha Shukla Sarkar	GXL: a new graph transformation language.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	tree rewriting, graph grammars, graph rewriting
42	James R. Cordy, Medha Shukla	Practical metaprogramming.	CASCON	1992	DBLP BibTeX RDF
30	James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider	Software Engineering by Source Transformation - Experience with TXL (Most Influential Paper, SCAM 2001).	SCAM	2019	DBLP DOI BibTeX RDF
30	Ashiqur Rahman, James R. Cordy	Pattern Analysis of TXL Programs.	IWSC@SANER	2016	DBLP DOI BibTeX RDF
30	Maximilian Dolling, Martin Engelmann, Jochen Wittmann	Groundwater monitoring at the Airport Berlin-Tegel (TXL).	EnviroInfo (2)	2016	DBLP BibTeX RDF
30	James R. Cordy	TXL source transformation in practice.	SANER	2015	DBLP DOI BibTeX RDF
30	Andreas Neumann 0004	Why closing an Airport May not Matter - The Impact of the Relocation of TXL Airport on the Bus Network of Berlin.	ANT/SEIT	2015	DBLP DOI BibTeX RDF
30	James R. Cordy	Excerpts from the TXL Cookbook.	GTTSE	2009	DBLP DOI BibTeX RDF
30	James R. Cordy	The TXL source transformation language.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
30	James R. Cordy	TXL - A Language for Programming Language Tools and Applications .	LDTA@ETAPS	2004	DBLP DOI BibTeX RDF
30	Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard	PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools .	CLEI Electron. J.	2002	DBLP BibTeX RDF
30	James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider	Source transformation in software engineering using the TXL transformation system.	Inf. Softw. Technol.	2002	DBLP DOI BibTeX RDF
30	Thomas R. Dean, James R. Cordy, Andrew J. Malton, Kevin A. Schneider	Grammar Programming in TXL.	SCAM	2002	DBLP DOI BibTeX RDF
30	Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard	Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural.	JIISIC	2001	DBLP BibTeX RDF
30	James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow	TXL: A Rapid Prototyping System for Programming Language Dialects.	Comput. Lang.	1991	DBLP DOI BibTeX RDF
30	James R. Cordy, Eric Promislow	Specification and Automatic Prototype Implementation of Polymorphic Objects in TURING Using the TXL Dialect Processor.	ICCL	1990	DBLP DOI BibTeX RDF
30	James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow	TXL: a rapid prototyping system for programming language dialects.	ICCL	1988	DBLP DOI BibTeX RDF
21	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
21	Éric Renault, Charles Ancelin, Willy Jimenez, Oscar Botero	Using Source-to-Source Transformation Tools to Provide Distributed Parallel Applications from OpenMP Source Code.	ISPDC	2008	DBLP DOI BibTeX RDF
21	Derek M. Shimozawa, James R. Cordy	TETE: A Non-Invasive Unit Testing Framework for Source Transformation.	STEP	2005	DBLP DOI BibTeX RDF
21	Christopher Dahn, Spiros Mancoridis	Using Program Transformation to Secure C Programs Against Buffer Overflows.	WCRE	2003	DBLP DOI BibTeX RDF
21	David Alex Lamb, Kevin A. Schneider	Formalization of information hiding design methods.	CASCON	1992	DBLP BibTeX RDF