Microsoft Research Blog

Microsoft Windows

  1. Validity 

    July 16, 2002

    Validity checker for a spatial logic, as described in the paper "Deciding Validity in a Spatial Logic for Trees" by Calcagno, Cardelli, and Gordon. Last published: July 16, 2002.

  2. EAC Player and Parser 

    May 22, 2002

    Generate an application bitstream from parsing a master bitstream and a companion file. Last published: May 22, 2002.

  3. JetStream 

    April 23, 2002

    Image editor with cut and paste tool, based on sequential curve growing with interaction. Last published: April 23, 2002