Cargando…
Contracts programming in C++20
<!--HTML--><p>Contracts programming is based in the idea that any operation has a number of preconditions and postconditions. Different instantiations of this idea have been used in different programming languages (Eiffel, Ada2012, C#, D). However, the own characteristics of C++ and the...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2632419 |