Title: Second French-Soviet Workshop on Methods of Compilation and Program Construction, Nice, February 1988