PROVING THINGS ABOUT CONCURRENT PROGRAMS Lecture 24 – CS2110 – Spring 2013.
Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c)2001-2004 Michael P. Frank Modified by (c) 2004-2005 Haluk Bingöl 1/18 Module.
Recurrences David Kauchak cs161 Summer 2009. Administrative Algorithms graded on efficiency! Be specific about the run times (e.g. log bases) Reminder:
Engineering Judgement Martyn Thomas Visiting Professor of Software Engineering Oxford University Computing Laboratory [email protected].
1 COSC 2P03 Lecture #5 – Trees Part III, Heaps. 2 Today Take up the quiz Assignment Questions Red-Black Trees Binary Heaps Heap sort D-Heaps, Leftist.
TEDI: Efficient Shortest Path Query Answering on Graphs Author: Fang Wei SIGMOD 2010 Presentation: Dr. Greg Speegle.
TEDI: Efficient Shortest Path Query Answering on Graphs
Proving things about concurrent programs
Recurrences
David Luebke 1 7/2/2015 ITCS 6114 Red-Black Trees.
Spring 2014 Program Analysis and Verification Lecture 4: Axiomatic Semantics I
‘ Galculator ’ Functional Prototype of a Galois-connection Based Proof Assistant