Digital Archives Initiative
Memorial University - Electronic Theses and Dissertations 5
menu off  add document to favorites : add page to favorites : reference url back to results : previous : next
 Search this object:
 0 hit(s) :: previous hit : next hit
  previous page : next page
Document Description
TitleDataflow synthesis and verification for parallel object-oriented programming languages
AuthorWu, Shuang, 1985-
DescriptionThesis (M.Eng.)--Memorial University of Newfoundland, 2011. Engineering and Applied Science
Paginationvii, 97 leaves : ill.
SubjectObject-oriented programming languages; Data flow computing; Computer programs--Verification
Degree GrantorMemorial University of Newfoundland. Faculty of Engineering and Applied Science
DisciplineEngineering and Applied Science
NotesBibliography: leaves 93-97.
AbstractThe HARPO project aims to develop a methodology to generate and verify hardware configurations from a high level object-oriented programming language. Specifically, the compiler of a high-level object-oriented programming language, HARPO/L (standing for HARdware Parallel Objects Language), outputs hardware configurations that are mappable to a coarse-grained reconfigurable architecture (CGRA) system. -- This thesis develops a data flow synthesis method, which is a critical component in the middle-module of the HARPO/L compiler. This method is extendable to most other high-level parallel object-oriented programming languages. -- In addition, this thesis proposes an automatic verification system for HARPO/L. An algorithm to compute weakest liberal precondition of parallel compositions, which fills the gap between verification of programming languages with parallel compositions and state-of-art automatic verification approaches, is introduced. This algorithm also helps verifying the absence of data race and the absence of deadlock, and has good interplay with grainless semantics.
Resource TypeElectronic thesis or dissertation
FormatImage/jpeg; Application/pdf
SourcePaper copy kept in the Centre for Newfoundland Studies, Memorial University Libraries
RightsThe author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission.
CollectionElectronic Theses and Dissertations
Scanning StatusCompleted
PDF File(8.89 MB) --
CONTENTdm file name11830.cpd