A principled, complete, and efficient representation of C++ (Q359906): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: LLVM / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: CIL / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s11786-011-0094-1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2006327947 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4860228 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5188287 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On programming of arithmetic operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4335814 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Languages and Compilers for Parallel Computing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4738390 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2764156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The design of Edison / rank
 
Normal rank

Latest revision as of 19:39, 6 July 2024

scientific article
Language Label Description Also known as
English
A principled, complete, and efficient representation of C++
scientific article

    Statements

    A principled, complete, and efficient representation of C++ (English)
    0 references
    0 references
    0 references
    23 August 2013
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    computer program representation
    0 references
    semantics
    0 references
    static analysis
    0 references
    C++
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references