|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 22 keywords
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
189 | James R. Cordy |
Source transformation, analysis and generation in TXL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, pp. 1-11, 2006, ACM, 1-59593-196-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers, pp. 245-264, 2008, Springer, 978-3-642-00433-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
136 | Adrian D. Thurston, James R. Cordy |
Evolving TXL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA, pp. 117-126, 2006, IEEE Computer Society, 0-7695-2353-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
125 | Jürgen Dingel, Hongzhi Liang |
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 13-22, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 10 November 2001, Florence, Italy, pp. 170-180, 2001, IEEE Computer Society, 0-7695-1387-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007, pp. 209-214, 2007, ACM, 978-1-59593-629-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 10(4), pp. 311-336, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004, pp. 336-340, 2004, ACM, 1-58113-870-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
tree rewriting, graph grammars, graph rewriting |
42 | James R. Cordy, Medha Shukla |
Practical metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes, pp. 215-224, 1992, IBM. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 19th International Working Conference on Source Code Analysis and Manipulation, SCAM 2019, Cleveland, OH, USA, September 30 - October 1, 2019, pp. 140, 2019, IEEE, 978-1-7281-4937-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Ashiqur Rahman, James R. Cordy |
Pattern Analysis of TXL Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSC@SANER ![In: 10th International Workshop on Software Clones, IWSC@SANER 2016, Osaka, Japan, March 15, 2016, pp. 37-43, 2016, IEEE Computer Society, 978-1-5090-1855-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Maximilian Dolling, Martin Engelmann, Jochen Wittmann |
Groundwater monitoring at the Airport Berlin-Tegel (TXL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EnviroInfo (2) ![In: 30th International Conference on Environmental Informatics, EnviroInfo 2016, Berlin, Germany, September 14-16, 2016, Part II: Stability, Continuity, Innovation: Current trends and future perspectives based on 30 years of history, pp. 269-274, 2016, Shaker Verlag, Aachen, 978-3-8440-4687-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
30 | James R. Cordy |
TXL source transformation in practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015, pp. 590-591, 2015, IEEE Computer Society, 978-1-4799-8469-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/SEIT ![In: Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015), London, UK, June 2-5, 2015, pp. 896-901, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | James R. Cordy |
Excerpts from the TXL Cookbook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTTSE ![In: Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers, pp. 27-91, 2009, Springer, 978-3-642-18022-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | James R. Cordy |
The TXL source transformation language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 61(3), pp. 190-210, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | James R. Cordy |
TXL - A Language for Programming Language Tools and Applications . ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDTA@ETAPS ![In: Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 3-31, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 . ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 5(1), 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 44(13), pp. 827-837, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Thomas R. Dean, James R. Cordy, Andrew J. Malton, Kevin A. Schneider |
Grammar Programming in TXL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada, pp. 93-, 2002, IEEE Computer Society, 0-7695-1793-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JIISIC ![In: 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), June 13-15, 2001, Buenos Aires, Argentina [Co-located with 13th International Conference on Software Engineering and Knowledge Engineering], pp. 15-22, 2001, Editorial Universidad Nacional de Jujuy, San Salvador de Jujuy, Argentina, 950-721-156-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
30 | James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow |
TXL: A Rapid Prototyping System for Programming Language Dialects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 16(1), pp. 97-107, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA, pp. 145-154, 1990, IEEE Computer Society, 0-8186-2036-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow |
TXL: a rapid prototyping system for programming language dialects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 280-285, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | James R. Cordy |
Eating our own dog food: DSLs for generative and transformational engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 3-4, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 197-204, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Derek M. Shimozawa, James R. Cordy |
TETE: A Non-Invasive Unit Testing Framework for Source Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STEP ![In: 13th International Workshop on Software Technology and Engineering Practice (STEP 2005), 24-25 September 2005, Budapest, Hungary, pp. 137-146, 2005, IEEE Computer Society, 0-7695-2639-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Christopher Dahn, Spiros Mancoridis |
Using Program Transformation to Secure C Programs Against Buffer Overflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, Canada, November 13-16, 2003, pp. 323-333, 2003, IEEE Computer Society, 0-7695-2027-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | David Alex Lamb, Kevin A. Schneider |
Formalization of information hiding design methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes, pp. 201-214, 1992, IBM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|