A formal model for the parallel semantics of P3L

@inproceedings{Cavarra2000AFM,
  title={A formal model for the parallel semantics of P3L},
  author={Alessandra Cavarra and Elvinia Riccobene and Andrea Zavanella},
  booktitle={SAC '00},
  year={2000}
}
Some formalizations have been developed in order to give a complete description of the parallel semantics of P3L, a programming language which ensures both task and data parallelism. However, the description level provided by the employed formalisms is either too much 'abstract' unable to grasp the operational behavior of the skeletons of the language or too much 'concrete' close to implementation details and therefore related to a particular machine model. This paper shows how the Gurevich's… CONTINUE READING

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Optimisation techniques for structured parallel programs

M. Aldinucci, M. Coppola
  • Graduation thesis (in italian), Dip. di Informatica Univ. di Pisa
  • 1997
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

P3L-PQE2000: Syntax

M. Danelutto
  • Intern. note. Vet. 0.8. Univ. di Pisa, Dip. di Informatica,
  • 1996
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL