see also the index (by topic, by tool, by reference, by year)
2011
Examples of year 2011
- Approximated Cosine, exact values and rounding errors
- Binary Heaps in Why3
- Call-by-value reduction of SK terms
- Circular queue in an array
- Computing the number of solutions to the N-queens puzzle
- Dijkstra's national flag
- Edition distance
- Extract non-zero values from an array
- Fibonacci function, linear/logarithmic algorithms, Why3 version
- Fibonacci with memoization
- Find a value in a sorted list of integers
- Find the shortest path in a directed graph using BFS
- FoVeOOS'11 Competition: challenge 1, in C
- FoVeOOS'11 Competition: challenge 1, in Java
- FoVeOOS'11 Competition: challenge 1, in Why3
- FoVeOOS'11 Competition: challenge 2 in Why3
- FoVeOOS'11 Competition: challenge 2, in C
- FoVeOOS'11 Competition: challenge 2, in Java
- FoVeOOS'11 Competition: challenge 3 in Why3
- FoVeOOS'11 Competition: challenge 3, in C
- FoVeOOS'11 Competition: challenge 3, in Java
- Greatest common divisor with Bezout coefficients
- Greatest common divisor, using the Euclidean algorithm
- Hoare's Proof of a Program: FIND
- Insertion Sort, C version
- Insertion sort (arrays)
- Knuth's prime numbers
- Knuth-Morris-Pratt string searching algorithm
- Maximal sum in a matrix
- Program proofs from Floyd's Assigning Meanings to Programs (1967)
- Program verification examples from the book "Software Foundations"
- Proof from Turing's Checking a Large Routine (1949)
- Same fringe
- Scalar product of vectors using floating-point numbers
- Searching a zero in an array where values never decrease by more than one
- Selection Sort, C version
- Selection sort (arrays)
- Sort an array of Boolean values
- Sum of multiples of 3 and 5
- Termination of a random walk
- Tortoise and hare algorithm
- Tree reconstruction from a list of leave depths
- Tree relabelling
- Various programs computing the factorial, in Why3
see also the index (by topic, by tool, by reference, by year)