The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation

Bibliographic Details
Main Author:	Fitzpatrick, Stephen
Published:	Queen's University Belfast 1994
Subjects:	510 Pure mathematics
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.282150

id	ndltd-bl.uk-oai-ethos.bl.uk-282150
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2821502015-03-19T05:50:08ZThe specification of array-based algorithms and the automated derivation of parallel implementations through program transformationFitzpatrick, Stephen1994510Pure mathematicsQueen's University Belfasthttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.282150Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	510 Pure mathematics
spellingShingle	510 Pure mathematics Fitzpatrick, Stephen The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation
author	Fitzpatrick, Stephen
author_facet	Fitzpatrick, Stephen
author_sort	Fitzpatrick, Stephen
title	The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation
title_short	The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation
title_full	The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation
title_fullStr	The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation
title_full_unstemmed	The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation
title_sort	specification of array-based algorithms and the automated derivation of parallel implementations through program transformation
publisher	Queen's University Belfast
publishDate	1994
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.282150
work_keys_str_mv	AT fitzpatrickstephen thespecificationofarraybasedalgorithmsandtheautomatedderivationofparallelimplementationsthroughprogramtransformation AT fitzpatrickstephen specificationofarraybasedalgorithmsandtheautomatedderivationofparallelimplementationsthroughprogramtransformation
_version_	1716743029227782144

The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation

Similar Items