Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14194
Título: Type-Based Verification of Message-Passing Parallel Programs
Autor: Vasconcelos, Vasco T.
Martins, Francisco
Marques, Eduardo R. B.
López, Hugo A.
Santos, César
Yoshida, Nobuko
Palavras-chave: session types
message passing
type-based verification
parallel programs
Data: 29-Out-2014
Relatório da Série N.º: 2014;04
Resumo: 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.
URI: http://hdl.handle.net/10451/14194
http://repositorio.ul.pt/handle/10455/6902
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
2014_tr_04.pdf672,77 kBAdobe PDFVer/Abrir
tr_2015_01.pdf673,61 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.