Repository logo
 
Publication

Type-Based Verification of Message-Passing Parallel Programs

dc.contributor.authorVasconcelos, Vasco T.por
dc.contributor.authorMartins, Franciscopor
dc.contributor.authorMarques, Eduardo R. B.por
dc.contributor.authorLópez, Hugo A.por
dc.contributor.authorSantos, Césarpor
dc.contributor.authorYoshida, Nobukopor
dc.date.accessioned2014-10-29T17:14:02Zpor
dc.date.accessioned2014-11-14T16:24:04Z
dc.date.available2014-10-29T17:14:02Zpor
dc.date.available2014-11-14T16:24:04Z
dc.date.issued2014-10-29T17:14:02Zpor
dc.description.abstractWe present a type-based approach to the verification of the communication structure of parallel programs. We model parallel imperative programs where a fixed number of processes, each equipped with its local memory, communicates via a rich diversity of primitives, including point-to-point messages, broadcast, reduce, and array scatter and gather. The paper proposes a decidable dependent type system incorporating abstractions for the various communication operators, a form of primitive recursion, and collective choice. Term types may refer to values in the programming language, including integer, floating point and arrays. The paper further introduces a core programming language for imperative, message-passing, parallel programming, and shows that the language enjoys progress.por
dc.description.versionUnder reviewpor
dc.identifier.urihttp://hdl.handle.net/10451/14194por
dc.identifier.urihttp://repositorio.ul.pt/handle/10455/6902por
dc.language.isoengpor
dc.relation.ispartofseries2014;04por
dc.subjectsession typespor
dc.subjectmessage passingpor
dc.subjecttype-based verificationpor
dc.subjectparallel programspor
dc.titleType-Based Verification of Message-Passing Parallel Programspor
dc.typereport
dspace.entity.typePublication
rcaap.rightsopenAccess
rcaap.typereportpor

Files

Original bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
2014_tr_04.pdf
Size:
672.77 KB
Format:
Adobe Portable Document Format
No Thumbnail Available
Name:
tr_2015_01.pdf
Size:
673.61 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.18 KB
Format:
Plain Text
Description: