The following pages link to Program transformation
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Compiler (links | edit)
- Logic programming (links | edit)
- Code refactoring (links | edit)
- Transformation (links | edit)
- OCaml (links | edit)
- Abstract interpretation (links | edit)
- Compiler-compiler (links | edit)
- Abstract syntax tree (links | edit)
- Aspect-oriented programming (links | edit)
- Hoare logic (links | edit)
- Code generation (compiler) (links | edit)
- Porting (links | edit)
- Program optimization (links | edit)
- Translation (disambiguation) (links | edit)
- Operational semantics (links | edit)
- Parsing (links | edit)
- Reflective programming (links | edit)
- Metaprogramming (links | edit)
- Undefined behavior (links | edit)
- Domain-specific language (links | edit)
- Glasgow Haskell Compiler (links | edit)
- Gödel (programming language) (links | edit)
- Automatic programming (links | edit)
- Intermediate representation (links | edit)
- Structured program theorem (links | edit)
- Fuzzing (links | edit)
- Loop optimization (links | edit)
- Intentional programming (links | edit)
- David May (computer scientist) (links | edit)
- Friedrich L. Bauer (links | edit)
- Code bloat (links | edit)
- Runtime verification (links | edit)
- Metacompilation (links | edit)
- List of pioneers in computer science (links | edit)
- Weaving (disambiguation) (links | edit)
- Source transformation (links | edit)
- Programming language theory (links | edit)
- Source-to-source compiler (transclusion) (links | edit)
- Model transformation (links | edit)
- Persistence (computer science) (links | edit)
- TXL (programming language) (links | edit)
- Software modernization (links | edit)
- Rod Burstall (links | edit)
- Program transformations (redirect page) (links | edit)
- Parametricity (links | edit)
- Deforestation (computer science) (links | edit)
- DMS Software Reengineering Toolkit (links | edit)
- Feature-oriented programming (links | edit)
- Shotgun surgery (links | edit)
- Mark Harman (computer scientist) (links | edit)