Workshop 07: Programming Models and Methods
Programme Committee:
David Skillicorn,
Queen's University, Canada, Global Chair
Helmuth
Partsch, University of Ulm, Germany, Local Chair
Jan Prins,
UNC Chapel Hill, USA, Vice-Chair
Daniel Le
Métayer, IRISA, Rennes, France, Vice-Chair
Description:
The topic of this workshop is programming and design
models that abstract from low-level programming techniques, present
software developers with an interface that reduces the complexity of
the parallel software construction task, and support correctness
issues. It is also concerned with methodological aspects of
developing parallel programs, particularly transformational and
calculational approaches, and associated ways of integrating cost
information into them.
Topics of interest include:
- parallel programming calculi
- abstract models
- program transformation
- skeletons
- rigorous design processes
- cost modelling
- development tactics and strategies
- correctness and verification
- experience with methodological approaches
(C)opyright
by University of Passau,
Sven Anders
14.05.1997