Session Types for Functional Multithreading

We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, associated with a communication channel, specifies the state transitions of a protocol and also the data types of messages assoc...

ver descrição completa

Detalhes bibliográficos
Autor principal: Vasconcelos, Vasco T. (author)
Outros Autores: Ravara, António (author), Gay, Simon (author)
Formato: report
Idioma:por
Publicado em: 2009
Assuntos:
Session types
static typechecking
concurrent programming
specification of communication protocols
Texto completo:http://hdl.handle.net/10451/14235
País:Portugal
Oai:oai:repositorio.ul.pt:10451/14235

Texto Completo

http://hdl.handle.net/10451/14235

Registros relacionados