Publication
Type-Based Verification of Message-Passing Parallel Programs
dc.contributor.author | Vasconcelos, Vasco T. | por |
dc.contributor.author | Martins, Francisco | por |
dc.contributor.author | Marques, Eduardo R. B. | por |
dc.contributor.author | López, Hugo A. | por |
dc.contributor.author | Santos, César | por |
dc.contributor.author | Yoshida, Nobuko | por |
dc.date.accessioned | 2014-10-29T17:14:02Z | por |
dc.date.accessioned | 2014-11-14T16:24:04Z | |
dc.date.available | 2014-10-29T17:14:02Z | por |
dc.date.available | 2014-11-14T16:24:04Z | |
dc.date.issued | 2014-10-29T17:14:02Z | por |
dc.description.abstract | We 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.version | Under review | por |
dc.identifier.uri | http://hdl.handle.net/10451/14194 | por |
dc.identifier.uri | http://repositorio.ul.pt/handle/10455/6902 | por |
dc.language.iso | eng | por |
dc.relation.ispartofseries | 2014;04 | por |
dc.subject | session types | por |
dc.subject | message passing | por |
dc.subject | type-based verification | por |
dc.subject | parallel programs | por |
dc.title | Type-Based Verification of Message-Passing Parallel Programs | por |
dc.type | report | |
dspace.entity.type | Publication | |
rcaap.rights | openAccess | |
rcaap.type | report | por |
Files
License bundle
1 - 1 of 1