Back to Results
First PageMeta Content
C++ / Data types / Type theory / Cross-platform software / Generic programming / C++11 / Type safety / Decltype / Type system / Software engineering / Computing / Programming language theory


A Principled, Complete, and Efficient Representation of C++ Gabriel Dos Reis and Bjarne Stroustrup Abstract. We present a systematic representation of C++, called IPR, for complete semantic analysis and semantics-based p
Add to Reading List

Document Date: 2012-10-03 14:24:46

Open Document

File Size: 262,56 KB

Share Result on Facebook

Facility

Texas A&M University / The IPR library / IPR library / /

IndustryTerm

safety-critical systems / transformation tools / shared tool infrastructure / transformation infrastructure / computing / type systems / fundamental services / /

OperatingSystem

Dos / /

Organization

Texas A&M University / /

Person

Gabriel Dos Reis / /

ProgrammingLanguage

C / Python / Fortran / Java / C++ / /

Technology

cell phones / Java / /

SocialTag