Previous: Workshop 2
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
The following is a listing of constructed software during the first
year of CONFER-2:
Cambridge -- Typed higher-order 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
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 -calculus, based on graph reduction
INRIA -- A. Asperti.
An implementation for complete asynchronous distributed
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.