scientific article; zbMATH DE number 868106

MaRDI QIDQ4873990zbMATH OpenFDO

Authors Charles Wallace

Publication date 26 November 1996

zbMATH Keywords

C++ programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 515739
• C++: Evolving Toward a More Powerful Language
• scientific article; zbMATH DE number 4123320
• scientific article; zbMATH DE number 45285

Cited in

(9)

• Refined description of the C[] language
• Towards proving type safety of \(\mathrm{C}^{\#}\)
• A mechanized semantics for C++ object construction and destruction, with applications to resource management
• C++: Evolving Toward a More Powerful Language
• scientific article; zbMATH DE number 45285 (Why is no real title available?)
• scientific article; zbMATH DE number 515739 (Why is no real title available?)
• scientific article; zbMATH DE number 1555194 (Why is no real title available?)
• Flexible symbol table structures for compiling C++
• Towards proving type safety of .NET CIL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4873990)