| dc.contributor |
Steenkamp, A.L. |
|
| dc.creator |
Ikram, IM |
|
| dc.date.accessioned |
2018-08-14T11:41:24Z |
|
| dc.date.accessioned |
2024-10-18T06:56:20Z |
|
| dc.date.available |
2018-08-14T11:41:24Z |
|
| dc.date.available |
2024-10-18T06:56:20Z |
|
| dc.date.created |
2018-08-14T11:41:24Z |
|
| dc.date.issued |
1995 |
|
| dc.identifier |
Ikram, I.M. (1995) A method to generate occam skeletons from formal specifications. Papers Delivered at the SAICSIT 95 Research and Development Symposium (South African Institute for Computer Scientists and Information Technologists), Film Auditorium, University of South Africa, Pretoria, 25-26 May1995, edited by A.L. Steenkamp (UNISA) (ISBN 0-86981-909-7) |
|
| dc.identifier |
0-86981-909-7 |
|
| dc.identifier |
http://hdl.handle.net/10500/24599 |
|
| dc.identifier.uri |
http://repository.iphce.org/xmlui/handle/123456789/3305 |
|
| dc.description.abstract |
We consider the problem of automatically generating parallel programs in the occam language. In particular, we are concerned with the generation of program skeletons, that define just those computations that are common to a number of similar systems leaving empty or 'stub' functions or processes in the code which are to be filled in later in an application-specific manner.
Rather than attempt to solve the problem for arbitrary parallel systems, we focus on data-parallel systems composed of iterative processes. In this paper, we propose an implementation strategy for a cellular automaton. Only uniprocessor occam code is considered. |
|
| dc.language |
en |
|
| dc.title |
A method to generate occam skeletons from formal specifications |
|