Design of concept libraries for C++
We present a set of concepts (requirements on template arguments) for a large subset of the
ISO C++ standard library. The goal of our work is twofold: to identify a minimal and useful set …
ISO C++ standard library. The goal of our work is twofold: to identify a minimal and useful set …
[PDF][PDF] Testing with Axioms in C++ 2011.
AH Bagge, V David, M Haveraaen - J. Object Technol., 2011 - Citeseer
Unit testing is an important part of modern software development, where individual code
units are tested in isolation. Such tests are typically case-based, checking a likely error …
units are tested in isolation. Such tests are typically case-based, checking a likely error …
Testing by C++ template metaprograms
N Pataki - arxiv preprint arxiv:1012.0038, 2010 - arxiv.org
Testing is one of the most indispensable tasks in software engineering. The role of testing in
software development has grown significantly because testing is able to reveal defects in the …
software development has grown significantly because testing is able to reveal defects in the …
Programming Language Technology for Niche Platforms
T Hasu - 2017 - bora.uib.no
Developers writing software for a niche platform are denied the luxury of a first-class vendor-
supported integrated development environment and a large community crafting platform …
supported integrated development environment and a large community crafting platform …
[PDF][PDF] Concepts for C++: analysis of established and novel features
C Laneve, M Haveraaen, M Poletti - 2012 - amslaurea.unibo.it
Questa tesi tratta dei “concept”, una funzionalità per permettere una forma di polimorfismo
limitato all'interno del linguaggio di programmazione C++. In particolare, si definisce …
limitato all'interno del linguaggio di programmazione C++. In particolare, si definisce …
Testing C++ generic libraries
We describe a novel methodology for systematic and rigorous testing of C++ generic
libraries: separate testing. The approach is based on separate testing of generic (template) …
libraries: separate testing. The approach is based on separate testing of generic (template) …
[PDF][PDF] Concepts for C++: analysis of established and novel features
M Poletti - amslaurea.unibo.it
Questa tesi tratta dei “concept”, una funzionalità per permettere una forma di polimorfismo
limitato all'interno del linguaggio di programmazione C++. In particolare, si definisce …
limitato all'interno del linguaggio di programmazione C++. In particolare, si definisce …
Formalization and enforcement of requirements to modular discrete-event simulation runtime
EV Chemeritskiy, KO Savenkov - Proceedings of the Spring/Summer …, 2010 - cyberleninka.ru
This paper presents an extendable architecture for a discrete-event simulation runtime
(DESR). The architecture is based on a set of logic blocks. Each block encapsulates a part of …
(DESR). The architecture is based on a set of logic blocks. Each block encapsulates a part of …