Show simple item record

Files in this item

Thumbnail
Name:
FMCORefactoring.pdf
Size:
612.4Kb
Format:
PDF
View/Open

Paraphrasing : generating parallel programs using refactoring

Item metadata

dc.contributor.authorBrown, Christopher Mark
dc.contributor.authorHammond, Kevin
dc.contributor.authorDanelutto, Marco
dc.contributor.authorKilpatrick, Peter
dc.contributor.authorSchöner, Holger
dc.contributor.authorBreddin, Tino
dc.contributor.editorBeckert, Bernhard
dc.contributor.editorDamiani, Ferruccio
dc.contributor.editorde Boer, Frank S.
dc.contributor.editorBonsangue, Marcello M.
dc.date.accessioned2019-08-01T15:30:03Z
dc.date.available2019-08-01T15:30:03Z
dc.date.issued2013
dc.identifier260352703
dc.identifier90b26216-cf6f-4be1-9293-98d1a196fb36
dc.identifier84883275458
dc.identifier.citationBrown , C M , Hammond , K , Danelutto , M , Kilpatrick , P , Schöner , H & Breddin , T 2013 , Paraphrasing : generating parallel programs using refactoring . in B Beckert , F Damiani , F S de Boer & M M Bonsangue (eds) , Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers . Lecture Notes in Computer Science (Programming and Software Engineering) , vol. 7542 , Springer , Berlin, Heidelberg , pp. 237-256 , 10th Symposium on Formal Methods for Components and Objects , Turin , Italy , 3/10/11 . https://doi.org/10.1007/978-3-642-35887-6_13en
dc.identifier.citationconferenceen
dc.identifier.isbn9783642358869
dc.identifier.isbn9783642358876
dc.identifier.issn0302-9743
dc.identifier.otherORCID: /0000-0002-4326-4562/work/33080466
dc.identifier.otherORCID: /0000-0001-6030-2885/work/70619183
dc.identifier.urihttps://hdl.handle.net/10023/18232
dc.descriptionFunding: This work has been supported by the European Union grants RII3-CT-2005- 026133 SCIEnce: Symbolic Computing Infrastructure in Europe, IST-2010- 248828 ADVANCE: Asynchronous and Dynamic Virtualisation through performance ANalysis to support Concurrency Engineering, and IST-2011-288570 ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems, and by the UK’s Engineering and Physical Sciences Research Council grant EP/G055181/1 HPC-GAP: High Performance Computational Algebraen
dc.description.abstractRefactoring is the process of changing the structure of a program without changing its behaviour. Refactoring has so far only really been deployed effectively for sequential programs. However, with the increased availability of multicore (and, soon, manycore) systems, refactoring can play an important role in helping both expert and non-expert parallel programmers structure and implement their parallel programs. This paper describes the design of a new refactoring tool that is aimed at increasing the programmability of parallel systems. To motivate our design, we refactor a number of examples in C, C++ and Erlang into good parallel implementations, using a set of formal pattern rewrite rules.
dc.format.extent12
dc.format.extent627125
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofFormal Methods for Components and Objectsen
dc.relation.ispartofseriesLecture Notes in Computer Science (Programming and Software Engineering)en
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectQA76 Computer softwareen
dc.subject.lccQA75en
dc.subject.lccQA76en
dc.titleParaphrasing : generating parallel programs using refactoringen
dc.typeConference itemen
dc.contributor.sponsorEuropean Commissionen
dc.contributor.sponsorEPSRCen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.contributor.institutionUniversity of St Andrews. Centre for Interdisciplinary Research in Computational Algebraen
dc.identifier.doi10.1007/978-3-642-35887-6_13
dc.identifier.grantnumberFP&-ICT-2011-7en
dc.identifier.grantnumberEP/G055181/1en


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.