Bibliographies

• TransformationReviews

• ResearchIndex on program transformation: [ http://citeseer.nj.nec.com/cs?q=program+transformation&cs=1 ]

• Bibliography on partial evaluation [ ftp://ftp.diku.dk/diku/semantics/partial-evaluation/partial-eval.bib.Z ]

• Semantics-Based Program Analysis and Manipulation [ http://www.cs.cmu.edu/afs/cs.cmu.edu/user/wls/www/sbpm.html ]

• functional programming archive / program transformation subject area [ http://www.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.trans.html ]

• IraBaxter's Bibliography on Transformation Systems [ http://www.semdesigns.com/Company/Publications/TransformBib.pdf ]

• Papers by AlbertoPettorossi and MaurizioProietti [ http://www.iasi.rm.cnr.it/~proietti/reports.html ]

• ReengineeringBibliography

• DSLAnnotatedBibliography

• TransformationPapers: a list of papers at ProgramTransformationOrg

Journals

• JournalOfPatternMatching

Search engines

• Mega Spider [ http://search.megaspider.com/XP.html?program+transformation+language ]

Web Sites

• FreeOnLineDictionaryOfComputing

• A Directory of Program Transformation Systems And People Involved in Transformation Research [ http://www.dur.ac.uk/CSM/themes/formal/directory.html ]