Design of Concept Libraries for C++

Sutton, Andrew M.; Stroustrup, Bjarne

doi:10.1007/978-3-642-28830-2_6

Cited by 12 publications

(6 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The constraints and concepts [22] have been included officially in the C++20 standard version. These let the users to define compile time expectations on the template parameters.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A static analysis method for safe comparison functors in C++

Babati¹,

Pataki²

2020

AMI

View full text Add to dashboard Cite

“…The constraints and concepts [22] have been included officially in the C++20 standard version. These let the users to define compile time expectations on the template parameters.…”

Section: Related Workmentioning

confidence: 99%

“…Strict weak order property should be an axiom according to modern generic constraint approach in C++. However, these axioms are not validated by the compiler [22]. Therefore, our aim is to develop a tool based on static analysis that detects problematic functors.…”

Section: Introductionmentioning

confidence: 99%

A static analysis method for safe comparison functors in C++

Babati¹,

Pataki²

2020

AMI

View full text Add to dashboard Cite

“…In addition to similarities, it also helps to look at what differences these layout mappings may introduce, over which some algorithms may not be generic. In general, as many previous researchers have noted, [22] the design of generic concepts for customization typically begins with the algorithms, not the data structures. Much of the design of LayoutMapping can be motivated with some very simple algorithms.…”

Section: Layout Abstractionmentioning

confidence: 99%

mdspan in C++: A Case Study in the Integration of Performance Portable Features into International Language Standards

Hollman

Lelbach

Edwards

et al. 2019

2019 IEEE/ACM International Workshop on Performance, Portability and Productivity in HPC (P3HPC)

View full text Add to dashboard Cite

Multi-dimensional arrays are ubiquitous in high-performance computing (HPC), but their absence from the C++ language standard is a long-standing and well-known limitation of their use for HPC. This paper describes the design and implementation of mdspan, a proposed C++ standard multidimensional array view (planned for inclusion in C++23). The proposal is largely inspired by work done in the Kokkos projecta C++ performance-portable programming model deployed by numerous HPC institutions to prepare their code base for exascale-class supercomputing systems. This paper describes the final design of mdspan after a five-year process to achieve consensus in the C++ community. In particular, we will lay out how the design addresses some of the core challenges of performance-portable programming, and how its customization points allow a seamless extension into areas not currently addressed by the C++ Standard but which are of critical importance in the heterogeneous computing world of today's systems. Finally, we have provided a production-quality implementation of the proposal in its current form. This work includes several benchmarks of this implementation aimed at demonstrating the zero-overhead nature of the modern design.

show abstract

“…However, while OCL is not a programming language OCL does provide programmers with common programming language features (e.g., if/then/else code blocks) as illustrated in Figure 2. Moreover, it can be helpful for programmers to think of OCL as a language to define predicates (i.e., functions to return either true or false) since predicates are a common programming language construct particularly with respect to generic/template programming (Sutton and Stroustrup, 2011). Therefore, codifying constraints using a constraint language like OCL is equivalent to codifying program execution in terms of the effort required and the complexity involved.…”

Section: Figure 2: Ocl Example For Checking Deadline Compatibilitymentioning

confidence: 99%

Quantitative Productivity Analysis of a Domain-Specific Modeling Language

Hoffert

Schmidt

Gokhale

2015

Handbook of Research on Innovations in Systems and Software Engineering

View full text Add to dashboard Cite

Model-driven engineering (MDE), in general, and Domain-Specific Modeling Languages (DSMLs), in particular, are increasingly used to manage the complexity of developing applications in various domains. Although many DSML benefits are qualitative (e.g., ease of use, familiarity of domain concepts), there is a need to quantitatively demonstrate the benefits of DSMLs (e.g., quantify when DSMLs provide savings in development time) to simplify comparison and evaluation. This chapter describes how we conducted quantitative productivity analysis for a DSML (i.e., the Distributed Quality-of-Service (QoS) Modeling Language (DQML)). Our analysis shows (1) the significant quantitative productivity gain achieved when using a DSML to develop configuration models compared with not using a DSML, (2) the significant quantitative productivity gain achieved when using a DSML interpreter to automatically generate implementation artifacts as compared to alternative methods when configuring application entities, and (3) the viability of quantitative productivity metrics for DSMLs.

show abstract

Design of Concept Libraries for C++

Cited by 12 publications

References 23 publications

A static analysis method for safe comparison functors in C++

A static analysis method for safe comparison functors in C++

mdspan in C++: A Case Study in the Integration of Performance Portable Features into International Language Standards

Quantitative Productivity Analysis of a Domain-Specific Modeling Language

Contact Info

Product

Resources

About