chapter

The semantics of the C++ programming language

Author:

Charles WallaceAuthors Info & Claims

Specification and validation methods

September 1995

Pages 131 - 164

Published: 14 September 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Wasserrab DNipkow TSnelting GTip F(2006)An operational semantics and type safety prooffor multiple inheritance in C++ACM SIGPLAN Notices10.1145/1167515.116750341:10(345-362)Online publication date: 16-Oct-2006
https://dl.acm.org/doi/10.1145/1167515.1167503
Wasserrab DNipkow TSnelting GTip FTarr PCook WBiddle RGabriel R(2006)An operational semantics and type safety prooffor multiple inheritance in C++Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications10.1145/1167473.1167503(345-362)Online publication date: 23-Oct-2006
https://dl.acm.org/doi/10.1145/1167473.1167503
Siek JTaha W(2006)A semantic analysis of c++ templatesProceedings of the 20th European conference on Object-Oriented Programming10.1007/11785477_19(304-327)Online publication date: 3-Jul-2006
https://dl.acm.org/doi/10.1007/11785477_19
Show More Cited By

Index Terms

The semantics of the C++ programming language
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
      1. Semantics
    2. General programming languages
      1. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Specification and validation methods

September 1995

440 pages

ISBN:0198538545

Editor:
Egon Börger
Univ. di Pisa, Pisa, Italy

Publisher

Oxford University Press, Inc.

United States

Publication History

Published: 14 September 1995

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wasserrab DNipkow TSnelting GTip F(2006)An operational semantics and type safety prooffor multiple inheritance in C++ACM SIGPLAN Notices10.1145/1167515.116750341:10(345-362)Online publication date: 16-Oct-2006
https://dl.acm.org/doi/10.1145/1167515.1167503
Wasserrab DNipkow TSnelting GTip FTarr PCook WBiddle RGabriel R(2006)An operational semantics and type safety prooffor multiple inheritance in C++Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications10.1145/1167473.1167503(345-362)Online publication date: 23-Oct-2006
https://dl.acm.org/doi/10.1145/1167473.1167503
Siek JTaha W(2006)A semantic analysis of c++ templatesProceedings of the 20th European conference on Object-Oriented Programming10.1007/11785477_19(304-327)Online publication date: 3-Jul-2006
https://dl.acm.org/doi/10.1007/11785477_19
Hassine JRilling JDssouli R(2005)Abstract operational semantics for use case mapsProceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems10.1007/11562436_27(366-380)Online publication date: 2-Oct-2005
https://dl.acm.org/doi/10.1007/11562436_27
Prinz ALöwis M(2003)Generating a compiler for SDL from the formal language definitionProceedings of the 11th international conference on System design10.5555/1760667.1760680(150-165)Online publication date: 1-Jul-2003
https://dl.acm.org/doi/10.5555/1760667.1760680
Zimmermann WDold A(2003)A framework for modeling the semantics of expression evaluation with abstract state machinesProceedings of the abstract state machines 10th international conference on Advances in theory and practice10.5555/1754749.1754774(391-406)Online publication date: 3-Mar-2003
https://dl.acm.org/doi/10.5555/1754749.1754774
Zamulin A(2003)Algebraic Semantics of an Imperative Programming LanguageProgramming and Computing Software10.1023/B:PACS.0000004133.80483.6629:6(328-337)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1023/B%3APACS.0000004133.80483.66
Mueller WDömer RGerstlauer AAboulhamid ENakamura Y(2002)The formal execution semantics of SpecCProceedings of the 15th international symposium on System Synthesis10.1145/581199.581234(150-155)Online publication date: 2-Oct-2002
https://dl.acm.org/doi/10.1145/581199.581234
Ruf JHoffmann DGerlach JKropf TRosenstiehl WMueller W(2001)The simulation semantics of systemCProceedings of the conference on Design, automation and test in Europe10.5555/367072.367091(64-70)Online publication date: 13-Mar-2001
https://dl.acm.org/doi/10.5555/367072.367091
Goos GZimmermann W(1999)Verification of CompilersCorrect System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)10.5555/646005.673871(201-230)Online publication date: 1-Jan-1999
https://dl.acm.org/doi/10.5555/646005.673871
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Learn Professional Programming Skill in C++ Programming Language

C++ Programming Language: Simple, Short, and Straightforward Way of Learning C++ Programming

C++ Programming: With Design Patterns Revealed

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

Abstract

Cited By

Index Terms

Recommendations

Learn Professional Programming Skill in C++ Programming Language

C++ Programming Language: Simple, Short, and Straightforward Way of Learning C++ Programming

C++ Programming: With Design Patterns Revealed

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations