| Document Date: 2013-12-13 09:57:19
Open Document File Size: 997,58 KBShare Result on Facebook
City Paris / / Company LRI / / Event Product Issues / Bankruptcy / / Facility C++ Standard Library / French National Institute / C++ Standard Template Library / Standard Template Library / / IndustryTerm software tools / binary search algorithms / selected representative algorithms / maximum/minimum algorithms / generic algorithms / software-intensive technologies / non-mutating algorithms / / Organization Laboratory for Computer Science / Many / French National Institute for Research / / Person Hans Pohl Kim Völlinger / Jochen Burghardt Andreas Carben Jens / Florent Kirchner / Pascal Cuoq / Armand Puccetti / Jens Gerlach Hans Pohl Kim / Zaynah Dargaye / Loïc Correnson / Benjamin Monate / Kerstin Hartig Juan Soto / Virgile Prevosto / Claude Marché / / Position representative / / Product Assignment Rule / Rule / / ProgrammingLanguage C / C++ / / Technology STL algorithms / Binary Search Algorithms / Mutating Algorithms / mismatch Algorithm / search Algorithm / Non-mutating Algorithms / find Algorithm / copy Algorithm / software-intensive technologies / maximum/minimum algorithms / fill Algorithm / reverse Algorithm / count Algorithm / Maximum and Minimum Algorithms / iota Algorithm / equal Algorithm / html / swap Algorithm / selected representative algorithms / / URL http /
SocialTag |
ACSL By Example Towards a Verified C Standard Library