Translation validation
Lecture notes in computer science1998pp. 151–166
Citations Over TimeTop 10% of 1998 papers
Related Papers
- → Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End(2023)4 cited
- → A C Subset for Ergonomic Source-to-Source Analyses and Transformations(2024)1 cited
- → Representações internas e geração de codigos no compilador redirecionavel Xingo(2005)
- → Frontend Issues — The LANCE System(2000)
- A Case Study of Code Generator Generation for Embedded SIMD Computers(1996)