View Document Preview and Link Document Date: 2012-09-02 18:05:19 Open Document File Size: 1,53 MB Share Result on Facebook
Company Fraunhofer FIRST / Fraunhofer FOKUS / / Event Product Issues / M&A / Bankruptcy / / Facility C++ Standard Library / C++ Standard Template Library / Standard Template Library / / IndustryTerm verified heap algorithms / binary search / software tools / binary search algorithms / verification tools / heap algorithms / selected representative algorithms / maximum/minimum algorithms / generic algorithms / non-mutating algorithms / sort algorithm / / Organization Many / / Person Claude March / Andreas Carben Jens Gerlach Kerstin / Jochen Burghardt Andreas Carben Jens / Correnson Dargaye / Kerstin Hartig Hans Pohl Kim V / Pascal Cuoq / Zaynah Dargaye / Benjamin Monate / Virgile Prevosto / / Position representative / / Product Assignment Rule / Rule / / ProgrammingLanguage C / C++ / / Technology STL algorithms / max seq Algorithm / max element Algorithm / sort algorithm / Binary Search Algorithms / Mutating Algorithms / mismatch Algorithm / search Algorithm / Non-mutating Algorithms / copy Algorithm / find Algorithm / Heap Algorithms / sort heap Algorithm / maximum/minimum algorithms / adjacent find Algorithm / make heap Algorithm / lower bound Algorithm / fill Algorithm / count Algorithm / heap Algorithm / formally verified heap algorithms / Maximum and Minimum Algorithms / iota Algorithm / binary search Algorithm / equal Algorithm / remove copy Algorithm / pop heap Algorithm / push heap Algorithm / swap Algorithm / selected representative algorithms / min element Algorithm / / URL http / SocialTag 
ACSL By Example Towards a Verified C Standard Library