C.: Reasoning about skeletons in Eden (2006)
| Venue: | In: Parallel Computing: Current & Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, NIC Series 33 |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Peña06c.:reasoning,
author = {R. Peña and C. M. Segura and G. R. Joubert and W. E. Nagel and F. J. Peters and O. Plata and P. Tirado and E. Zapata and Ricardo Peña and Clara María Segura},
title = {C.: Reasoning about skeletons in Eden},
booktitle = {In: Parallel Computing: Current & Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, NIC Series 33},
year = {2006},
pages = {851--858}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Permission to make digital or hard copies of portions of this work for personal or classroom use is granted provided that the copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise requires prior specific permission by the publisher mentioned above.
Citations
| 113 | Proving the correctness of reactive systems using sized types - Hughes, Pareto, et al. - 1996 |
| 52 | Compiling Haskell by program transformation: a report from the trenches - Jones |
| 12 | A Combinational Framework for Parallel Programming Using Algorithmic Skeletons - Hamdan - 2000 |
| 9 | DREAM: The DistRibuted Eden Abstract Machine - Breitinger, Klusik, et al. - 1997 |
| 6 | C.: Deriving non-hierarchical process topologies - Peña-Marí, Rubio, et al. |
| 4 | 2001, `Parallel Functional Programming at Two Levels of Abstraction - Pena, Rubio |
| 2 | Sized Types for Typing Eden Skeletons - Peña, Segura - 2002 |
| 1 | Parallel-Functional Programming in Eden - Loogen, Ortega-Mallén, et al. |
| 1 | Convenience, Efficiency and Correctness in the Parallel Functional Language Eden - Peña, Rubio, et al. - 2002 |
| 1 | Comparative Cross-Platform Results from a Parallelizing SML Compiler - Scaife, Michaelson, et al. - 2001 |
