Despite their vast deployment, distributed memory multiprocessors (DMM) still remain dicult to program, this is why portable and ecient languages are denitely needed. For the time being, parallelization tools like PVM provides a widely portable solution for low-level (explicit communications) programming. But PVM programs (C or Fortran with send and receive for communications) are hard to write and debug because of their undeterministic behaviors and rudimentary communication support. We propose an intermediate-level functional language called Caml Flight, which integrate a programming technique used by PVM programmers and featured in MPI. Right now, Caml Flight allows to write deterministic SPMD programs more easily. A long term goal is to be act as a target language for compilers of high-level languages. 1

We present in this paper an extension to the ML type system by which it is possible to statically estimate all untrapped exceptions that can be raised by executing a program. This type system can handle polymorphic information on exceptions. A prinicipal extended type exists and can be computed for any well-typed expression. 1 Introduction Several programming languages such as ML[12, 15, 9] facilitate the handling of exceptional computation such as reading past end-of-file, dividing by zero, or taking the head of an empty list. The handling of such events can be more convenient, and more modular by using the raise and try constructs provided by the language. Rather than servicing the exceptional event where it happens (e.g., division by zero) or introducing code to avoid the execution of such an event, the ML user can escape from computations by raising exceptions which can be caught in a dynamically enclosing computation. However, ML does not provide any mechanism for controlling th...

: 81/2 is a declarative data-parallel language designed for the simulation of large dynamical systems. Such simulations are of growing importance and they requires more and more computing power. In consequence, 81/2 introduces a new entity, the web, that combines features of collection-oriented and data-flow language to express data-, stream- and control-parallelism. In this paper, we present the language 81/2, some examples of dynamical systems programmed in 81/2 and we describe the compilation process of a 81/2 programme. Key-words: data-parallelism, collection-oriented languages, declarative languages, synchronous data-flow languages, simulation of dynamical systems. I. Introduction Nowadays, simulation of large dynamical systems represents the majority of supercomputers applications. In this article, a dynamical system refers as any application that modelizes space-time phenomena. Three usual examples are: . numerical resolution of partial differential equations [1] describing con...

This paper describes the language 8 1/2 , an embedding of data-parallelism in a declarative framework.