The LS/2000 system performs automated design recovery and "year 2000" remediation of legacy COBOL, PL/I, and RPG applications. The architecture of LS/2000 is compiler-like. Its core procedures and data, which represent source code structure, semantic analysis, and applicable source transformations, are written in TXL, a pure first-order functional programming language. Details of LS/2000 and TXL are available on the web.