'Monads' diaporamas de présentation

The Why, What, and How of Software Transactions for More Reliable Concurrency

The Why, What, and How of Software Transactions for More Reliable Concurrency. Dan Grossman University of Washington 26 May 2006. Atomic. An easier-to-use and harder-to-implement primitive. withLk : lock->(unit-> ? )-> ? let xfer src dst x = withLk src.lk ( fun () ->

694 views • 58 slides

5 Leibniz on Mind, Knowledge, and Ideas

1.21k views • 55 slides

Towards a language design for modular software verification

Towards a language design for modular software verification. Aleks Nanevski Microsoft Research, Cambridge Joint with Greg Morrisett (Harvard), Lars Birkedal (ITU Copenhagen), Amal Ahmed (TTI-Chicago) Workshop on Effects and Type Theory Tallinn, December 13, 2007.

621 views • 50 slides

276 views • 10 slides