Peter Gammie

 

Website: http://peteg.org

 

Entries

2020

August 25: Putting the `K' into Bird's derivation of Knuth-Morris-Pratt string matching

 

2017

October 26: The Kuratowski Closure-Complement Theorem

 

2016

October 24: Stable Matching

 

2015

December 22: The Stern-Brocot Tree

November 18: The Tortoise and Hare Algorithm

April 13: Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO

April 13: Concurrent IMP

 

2012

July 1: Logical Relations for PCF

 

2011

May 17: Knowledge-based programs

 

2009

October 30: The Worker/Wrapper Transformation

 

2008

November 9: Some classical results in Social Choice Theory