October 2011 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon Oct 3 11:37:45 PDT 2011
Ending: Fri Oct 21 14:35:21 PDT 2011
Messages: 26

• [cap-talk] Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   lists at notatla.org.uk
  • [cap-talk] Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Ben Kloosterman
    • [cap-talk] Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   lists at notatla.org.uk
• [cap-talk] OK Labs (or seL4) & verification (was: Hoare's 1980 ...)   Gernot Heiser
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Ben Kloosterman
  • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Charles Forsyth
  • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   ken at sipantic.net
    • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Bill Frantz
      • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Ken
      • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Raoul Duke
• [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Ben Kloosterman
  • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Jonathan S. Shapiro
    • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Sandro Magi
      • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Raoul Duke
      • [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lecture ... and program verification mea culpa   Raoul Duke
• [cap-talk] About to start on MinorFs2   Rob Meijer
• [cap-talk] Avoiding excess authority in chained access   David Nicol
• [cap-talk] Avoiding excess authority in chained access   Karp, Alan H
  • [cap-talk] Avoiding excess authority in chained access   Monty Zukowski
  • [cap-talk] Avoiding excess authority in chained access   David Barbour
• [cap-talk] Avoiding excess authority in chained access   Karp, Alan H
  • [cap-talk] Avoiding excess authority in chained access   Mitsu Hadeishi
  • [cap-talk] Avoiding excess authority in chained access   Monty Zukowski
    • [cap-talk] Avoiding excess authority in chained access   Norman Hardy
    • [cap-talk] Avoiding excess authority in chained access   Karp, Alan H
      • [cap-talk] Avoiding excess authority in chained access   Monty Zukowski

Last message date: Fri Oct 21 14:35:21 PDT 2011
Archived on: Mon Oct 24 16:26:46 PDT 2011

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...