Software deliverables

Several pieces of software have been constructed during the this year of CONFER-2. Note that most of these softwares were started during Confer-1, and that the software deliverables are only planned for at Milestone 3.

The following is a listing of constructed software during the first year of CONFER-2:

• PICT
  Cambridge -- Typed higher-order programming language based on $\pi$-calculus
  University of Cambridge and Edinburgh -- B. Pierce, D. Turner.
  Also with contributions of P. Sewell, P. Wojciechowski.
  Available at http://www.cs.indiana.edu/hyplan/pierce/ftp/pict
• The Join-Calculus
  INRIA-Rocquencourt -- C. Fournet, L. Maranget.
  Also with contributions of G. Gonthier, J.-J. Lévy, D. Rémy. Available at http://pauillac.inria.fr/join/
• BOHM, Prototype compiler for $\lambda$-calculus, based on graph reduction
  INRIA -- A. Asperti.
• An implementation for complete asynchronous distributed garbage collection.
  INRIA-Rocquencourt -- F. le Fessant. Also with contributions of I. Piumarta, and M. Shapiro
• Automata-based verification for the JACK environment.
  Pisa -- G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori.