1995 | ||
---|---|---|
3 | P. F. G. Dechering, J. A. Trescher, J. P. M. de Vreught, Henk J. Sips: V-cal: A Calculus for the Compilation of Data Parallel Languages. LCPC 1995: 111-125 | |
1994 | ||
2 | J. A. Trescher, Leo C. Breebaart, P. F. G. Dechering, A. B. Poelman, J. P. M. de Vreught, Henk J. Sips: A Formal Approach to the Compilation of Data-Parallel Languages. LCPC 1994: 155-169 | |
1992 | ||
1 | EE | J. A. Trescher: Compositional specification of parallel time-critical systems. ICCL 1992: 212-221 |
1 | Leo C. Breebaart | [2] |
2 | P. F. G. Dechering | [2] [3] |
3 | A. B. Poelman | [2] |
4 | Henk J. Sips | [2] [3] |
5 | J. P. M. de Vreught | [2] [3] |