FORMAL SPECIFICATION AND TRANSFORMATION OF PARALLEL PROGRAMS



Project Description of
INRIA-CNRS Collaborative Research

Isabelle Attali Isabelle.Attali@sophia.inria.fr

Denis Caromel I3S CNRS URA 1376 Route des Colles BP 145 06560 Sophia Antipolis - France (33) 92 96 51 09 Denis.Caromel@sophia.inria.fr

Partners:

Jean-Luc Gaudiot Dept of Electrical Engineering- Systems University of Southern California Los Angeles, CA 90089-2563 (1) 213 740 44 84 gaudiot@usc.edu

Andrew Wendelborn Dept. Computer Science University of Adelaide 5005 Australia (61) 8 303 4726 andrew@cs.adelaide.edu.au

• Contents
• Project description
• The existing components
  • Eiffel Semantics
  • Eiffel//
  • Sisal
• Description of the Project
  • Eiffel// Semantics
  • Sisal Semantics
  • Intermediate Formats
  • Transformations
  • Tools Development
• References