Tag #txl
12 papers:
SCAM-2019-CordyDMS #experience #re-engineering- Software Engineering by Source Transformation - Experience with TXL (Most Influential Paper, SCAM 2001) (JRC, TRD, AJM, KAS), p. 140.
SANER-2015-Cordy - TXL source transformation in practice (JRC), pp. 590–591.
GTTSE-2009-Cordy - Excerpts from the TXL Cookbook (JRC), pp. 27–91.
SLE-2008-LiangD #evaluation #model transformation #using- A Practical Evaluation of Using TXL for Model Transformation (HL, JD), pp. 245–264.
SCAM-2006-ThurstonC #evolution- Evolving TXL (ADT, JRC), pp. 117–126.
PEPM-2006-Cordy #analysis #generative- Source transformation, analysis and generation in TXL (JRC), pp. 1–11.
LDTA-J-2004-Cordy #model transformation #transformation language- The TXL source transformation language (JRC), pp. 190–210.
FSE-2004-DingelL #analysis #automation #concurrent #safety #source code #using- Automating comprehensive safety analysis of concurrent programs using verisoft and TXL (JD, HL), pp. 13–22.
LDTA-2004-Cordy #named #programming language #tool support- TXL — A Language for Programming Language Tools and Applications (JRC), pp. 3–31.
SCAM-J-2001-CordyDMS02 #re-engineering #using- Source transformation in software engineering using the TXL transformation system (JRC, TRD, AJM, KAS), pp. 827–837.
SCAM-2002-DeanCMS #programming- Grammar Programming in TXL (TRD, JRC, AJM, KAS), p. 93–?.
SCAM-2001-CordyDMS #re-engineering- Software Engineering by Source Transformation-Experience with TXL (JRC, TRD, AJM, KAS), pp. 170–180.