A method to generate occam skeletons from formal specifications

dc.contributor.author	Ikram, IM
dc.contributor.editor	Steenkamp, A.L.
dc.date.accessioned	2018-08-14T11:41:24Z
dc.date.available	2018-08-14T11:41:24Z
dc.date.created	1995
dc.date.issued	1995
dc.identifier.citation	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)	en
dc.identifier.isbn	0-86981-909-7
dc.identifier.uri	http://hdl.handle.net/10500/24599
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.	en
dc.language.iso	en	en
dc.title	A method to generate occam skeletons from formal specifications	en