We are thankful to the IPPS'98 committee for accepting the organization of the workshop in cooperation with IPPS'98, and especially Viktor K. Prasanna and Jose Rolim. We also would like to thank the authors of all submitted papers, the presenters of accepted papers, the session chairs, the invited speakers and the program committee members. We hope that every participant will enjoy the workshop. More recently they are being applied in industry. Systems and their properties can be described precisely using mathematical notations, offering a way to achieve higher reliability.
Formal methods combine methodological aspects in a formal framework.
Although they appear to be difficult to apply, they are the only means of ensuring that an implementation is correct with respect to a given specification. There are potentially many different approaches to improving the environment for parallel programming. Experiments with program parallelization using archetypes and stepwise refinement B. L. Massingill.