« earlier | later » Page 1 of 1

Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it) | Envisage: Engineering Virtualized Services edit / delete

Using formal methods to find a pretty serious bug.

to correctness formal-methods java python sorting verification ... on 14 March 2015

Bertrand Meyer's technology+ blog » Blog Archive » Lampsort edit / delete

"Leslie Lamport likes to use the example of non-recursive Quicksort. Independently of the methodological arguments, his version of the algorithm should be better known." This is a nice bit of proper computer science: the basic idea is to describe Quicksort in terms of sets of objects that have yet to be sorted (i.e. sort of the same way you usually describe pathfinding algorithms like A*).

to algorithms cs sorting teaching ... on 18 January 2015

« earlier | later » Page 1 of 1

- sorting | |

2 | + algorithm |

1 | + algorithms |

1 | + correctness |

2 | + cs |

1 | + formal-methods |

1 | + java |

1 | + map |

1 | + python |

1 | + quicksort |

1 | + software |

1 | + teaching |

1 | + verification |

1 | + wordplay |

tasty by Adam Sampson.