A formal model of a system for automated program parallelization

DOI10.1134/S0361768807040019zbMath1154.68358MaRDI QIDQ927439

V. A. Vasenin, A. N. Vodomerov

Publication date: 9 June 2008

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

T-systemNewTS

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Uses Software

• Haskell
• Unnamed Item

Cites Work

• T-system -- an environment supporting automatic dynamic parallelization of programs: An example of the implementation of an image rendering algorithm based on the ray tracing method
• Unnamed Item

This page was built for publication: A formal model of a system for automated program parallelization