A principled, complete, and efficient representation of C++

DOI10.1007/s11786-011-0094-1zbMath1270.68056OpenAlexW2006327947MaRDI QIDQ359906

Gabriel Dos Reis, Bjarne Stroustrup

Publication date: 23 August 2013

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-011-0094-1

zbMATH Keywords

static analysisC++semanticscomputer program representation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations

Uses Software

• LLVM
• SUIF
• CodeBoost
• Cetus
• libclang
• CIL

Cites Work

• On programming of arithmetic operations
• The design of Edison
• Languages and Compilers for Parallel Computing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A principled, complete, and efficient representation of C++