Foundations of C++
No abstract available.
Related papers
- Foundations of Quantum Programming (Extended Abstract) APLAS 2010
- Developing a Foundation for Code Optimization CC 2004
- Foundations for Virtual Types ECOOP 1999
- The Mathematical Foundation fo Symbolic Trajectory Evaluation CAV 1999
- Foundational Issues in Implementing Constraint Logic Programming Systems ESOP 1994
- Set-theoretic foundation of parametric polymorphism and subtyping ICFP 2011
- ILC: A Foundation for Automated Reasoning About Pointer Programs ESOP 2006
- Extended Linear Scan: An Alternate Foundation for Global Register Allocation CC 2007