Safe Iterator Framework for the C++ Standard Template Library

Pataki, Norbert

doi:10.2478/v10198-012-0003-9

Cited by 11 publications

(15 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These containers and algorithms need strict weak ordering. Containers become inconsistent, if the used functors do not meet the requirement of strict weak ordering [9].…”

Section: Motivationmentioning

confidence: 99%

“…The metaprogramming facilities also can be used these metadata and emit compilation warnings in specific cases, e.g. count algorithm on a sorted container [12]. Typically programmers may use believe-me marks to disable specific warnings.…”

Section: Metaprogrammingmentioning

confidence: 99%

“…The expression problem is solved with this approach [16]. STL also includes adaptor types which transform standard elements of the library for a different functionality [11]. By design, STL is implemented with application of C++ templates to ensure the efficiency and cannot be compiled in advance.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Detecting Misusages of the C++ Standard Template Library

Horväth¹,

Páter-Részeg²,

Pataki³

2018

Proceedings of the 10th International Conference on Applied Informatics

Self Cite

View full text Add to dashboard Cite

The C++ Standard Template Library (STL) is the most well-known and widely used library that is based on the generic programming paradigm. The STL takes advantage of C++ templates, so it is an extensible, effective but flexible system. Professional C++ programs cannot miss the usage of the STL because it increases quality, maintainability, understandability and efficacy of the code. However, the usage of C++ STL does not guarantee bugfree or errorfree code. Contrarily, incorrect application of the library may introduce new types of problems. Unfortunately, there is still a large number of properties are tested neither at compilation-time nor at run-time. It is not surprising that in implementation of C++ programs so many STL-related bugs may occur. It is clearly seen that the compilation validation is not enough to exclude the misuage of STL. Our paper introduces different approaches for the validation of the C++ STL's usage. We take advantage of metaprogramming techniques, static analysis based on the Clang compiler infrastructure and gdb debugging tool as well.

show abstract

“…These containers and algorithms need strict weak ordering. Containers become inconsistent, if the used functors do not meet the requirement of strict weak ordering [9].…”

Section: Motivationmentioning

confidence: 99%

Section: Metaprogrammingmentioning

confidence: 99%

See 1 more Smart Citation

Detecting Misusages of the C++ Standard Template Library

Horväth¹,

Páter-Részeg²,

Pataki³

2018

Proceedings of the 10th International Conference on Applied Informatics

Self Cite

View full text Add to dashboard Cite

show abstract

“…A generic programming framework provides traits classes [ 59 ], i.e. an abstract representation of data types and algorithms [ 60 ]. As a real-life example, take the LEGO® toy construction kits.…”

Section: Main Textmentioning

confidence: 99%

Visual programming for next-generation sequencing data analytics

Milicchio

Rose²,

Bian

et al. 2016

BioData Mining

View full text Add to dashboard Cite

BackgroundHigh-throughput or next-generation sequencing (NGS) technologies have become an established and affordable experimental framework in biological and medical sciences for all basic and translational research. Processing and analyzing NGS data is challenging. NGS data are big, heterogeneous, sparse, and error prone. Although a plethora of tools for NGS data analysis has emerged in the past decade, (i) software development is still lagging behind data generation capabilities, and (ii) there is a ‘cultural’ gap between the end user and the developer.TextGeneric software template libraries specifically developed for NGS can help in dealing with the former problem, whilst coupling template libraries with visual programming may help with the latter. Here we scrutinize the state-of-the-art low-level software libraries implemented specifically for NGS and graphical tools for NGS analytics. An ideal developing environment for NGS should be modular (with a native library interface), scalable in computational methods (i.e. serial, multithread, distributed), transparent (platform-independent), interoperable (with external software interface), and usable (via an intuitive graphical user interface). These characteristics should facilitate both the run of standardized NGS pipelines and the development of new workflows based on technological advancements or users’ needs. We discuss in detail the potential of a computational framework blending generic template programming and visual programming that addresses all of the current limitations.ConclusionIn the long term, a proper, well-developed (although not necessarily unique) software framework will bridge the current gap between data generation and hypothesis testing. This will eventually facilitate the development of novel diagnostic tools embedded in routine healthcare.

show abstract

“…We make an effort to make C++ much more sophisticated. We developed useful extensions for C++ to deal with object-orientation in more sophisticated way [14,15,20,21].…”

Section: Introductionmentioning

confidence: 99%

Subtle Methods in C++

Szűgyi¹,

Pataki²,

Mihalicza³

2011

Acta Electrotechnica Et Informatica

Self Cite

View full text Add to dashboard Cite

Nowadays complex software systems are designed and implemented with the help of the object-oriented paradigm principally. However, object-oriented languages support the object-oriented paradigm in different ways with different constructs. C++ has a sophisticated inheritence notation based on access modifiers. C++ distinguishes virtual, pure virtual and non-virtual methods. Java uses final classes and methods to disable inheritance. However, Java does not support multiple inheritance. Eiffel allows renaming inherited methods. In this paper we present some method utilites for C++ to create safer and more flexible object-oriented systems. We present how the method renaming can be implemented. We developed constructs to create final and unhidable methods. These constructs are implemented with the help of C++ template facilities. We present scenarios where one can write safer code with our constructs.

show abstract

Safe Iterator Framework for the C++ Standard Template Library

Cited by 11 publications

References 10 publications

Detecting Misusages of the C++ Standard Template Library

Detecting Misusages of the C++ Standard Template Library

Visual programming for next-generation sequencing data analytics

Subtle Methods in C++

Contact Info

Product

Resources

About