A principled, complete, and efficient representation of C++
type: Item
instance of: scholarly article
title: A principled, complete, and efficient representation of C++
zbMATH Open document ID: 1270.68056
author: Gabriel Dos Reis
author: Bjarne Stroustrup
published in: Mathematics in Computer Science
publication date: 2013-08-23T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 6201168
zbMATH Keywords: computer program representation
zbMATH Keywords: semantics
zbMATH Keywords: static analysis
zbMATH Keywords: C++
describes a project that uses: SUIF
describes a project that uses: CodeBoost
describes a project that uses: Cetus
describes a project that uses: libclang
describes a project that uses: LLVM
describes a project that uses: CIL
MaRDI profile type: Publication
full work available at URL: s11786-011-0094-1
OpenAlex ID: W2006327947
cites work: Q4860228
cites work: Q5188287
cites work: On programming of arithmetic operations
cites work: Q4335814
cites work: Languages and Compilers for Parallel Computing
cites work: Q4385534
cites work: Q4738390
cites work: Q2764156
cites work: The design of Edison
DOI: 10.1007/S11786-011-0094-1
description: scientific article; zbMATH DE number 6201168