The Library
Definitive programming for parallelism
Tools
Tools
Tools
Beynon, Meurig (1989) Definitive programming for parallelism. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-132.pdf - Other - Requires a PDF viewer. Download (1062Kb) | Preview |
Abstract
Programming language principles are of fundamental importance in supporting major applications on multiprocessor architectures. Many different language paradigms for general-purpose parallel computing have been proposed. The most appropriate choice of paradigm remains contentious and problematical.
A novel approach to concurrent programming, based upon the formulation of definitions ("definitive programming"), is outlined. A case for the further investigation and development of the definitive programming paradigm as a basis for general-purpose parallel computing is presented. The paper builds upon previous work by the author on the application of definitive principles to the implementation of interactive systems, and the modelling and simulation of concurrent systems. The general principles and specific features of definitive programming are discussed in the context of existing programming paradigms, and the relative merits of definitive programming for general-purpose parallelism are considered. An appropriate abstract machine model is motivated, described and illustrated with reference to the simulation of a simple concurrent system.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Parallel programming (Computer science) | ||||
| Series Name: | Department of Computer Science Research Report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Place of Publication: | Coventry, UK | ||||
| Official Date: | 1989 | ||||
| Dates: |
|
||||
| Number: | Number 132 | ||||
| Number of Pages: | 13 | ||||
| DOI: | CS-RR-132 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
