J. A. Trescher

Publication Activity (10 Years)

Years Active: 1992-1995
Publications (10 Years): 0

Publications

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)
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)
J. A. Trescher
Compositional specification of parallel time-critical systems. ICCL (1992)