Next: Progress
Up: Deliverables
Previous: Workshop 2
Several pieces of software have been constructed during the this year
of CONFER2. Note that most of these softwares were started during
Confer1, 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 CONFER2:

PICT
Cambridge  Typed higherorder programming language based on 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 JoinCalculus
INRIARocquencourt  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 calculus, based on graph reduction
INRIA  A. Asperti.

An implementation for complete asynchronous distributed
garbage collection.
INRIARocquencourt  F. le Fessant.
Also with contributions of I. Piumarta, and M. Shapiro

Automatabased verification for the JACK environment.
Pisa  G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori.
1/10/1998