October 2011 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• 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] 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] Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   Ben Kloosterman
• [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] Hoare's 1980 Turing Award Lecture ...andprogram verification mea culpa   lists at notatla.org.uk
• [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] 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: [ thread ] [ subject ] [ author ]
• More info on this list...