see also the index (by topic, by tool, by reference, by year)
2010
Examples of year 2010
- Amortized Queue, in Why3
- Approximated Cosine in Why3
- Binary search
- Bresenham line drawing algorithm
- Defining Bernoulli and Binomial distributions from flip
- Drift of a clock using floating-point numbers
- Fast exponentiation
- Insertion sort (lists)
- Integer square root
- Inverting an Injection, in Why3
- KB3D: an avionics example
- McCarthy's 91 function
- Mergesort (lists)
- Quicksort (arrays)
- Searching a Linked List, in Why3
- Sparse Arrays in Capucine
- Sparse Arrays in Why3
- Sum and Maximum, in Why3
- The N-queens problem, in Why3
- Veltkamp/Dekker algorithm
see also the index (by topic, by tool, by reference, by year)