Optimizing Sisal Programs: A Formal Approach

Isabelle Attali, Denis Caromel, Romain Guider, Andrew L. Wendelborn. Optimizing Sisal Programs: A Formal Approach. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert, editors, Euro-Par 96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I. Volume 1123 of Lecture Notes in Computer Science, pages 136-144, Springer, 1996.

@inproceedings{AttaliCGW96,
  title = {Optimizing Sisal Programs: A Formal Approach},
  author = {Isabelle Attali and Denis Caromel and Romain Guider and Andrew L. Wendelborn},
  year = {1996},
  tags = {optimization, program optimization, systematic-approach},
  researchr = {https://researchr.org/publication/AttaliCGW96},
  cites = {0},
  citedby = {0},
  pages = {136-144},
  booktitle = {Euro-Par  96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I},
  editor = {Luc Bougé and Pierre Fraigniaud and Anne Mignotte and Yves Robert},
  volume = {1123},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61626-8},
}