a public good project by the
Synthesis
Company
of California

© 2026

Using domain algebras to prove the correctness of a compiler | doi.page

0 citations0 references

Google Scholar doi.org

Using domain algebras to prove the correctness of a compiler

Lecture notes in computer science·2005·pp. 98–108

Citations Over Time

Related Papers

→ A compiler for teaching about compilers(2003)30 cited
→ Optimization aspects of compiler- compilers(1970)3 cited
→ A compiler for teaching about compilers(2003)3 cited
A Study of Compiler Techniques for Multiple Targets in Compiler Infrastructures(2003)
→ Optimization aspects of compiler- compilers(1970)