Author:
Ribeiro Cláudio Henrique Oliveira,Silvestre Bruno,Ventura Daniel
Abstract
O presente trabalho apresenta um estudo de caso da representação de um programa em Go em um cálculo de processos, como uma primeira abordagem para a proposta de um sistema de tipos de sessão para a linguagem.
Publisher
Sociedade Brasileira de Computação
Reference10 articles.
1. Bocchi, L., Murgia, M., Vasconcelos, V. T., and Yoshida, N. (2019). Asynchronous timed session types from duality to time-sensitive processes. In ESOP, volume 11423 of Lecture Notes in Computer Science, pages 583–610. Springer.
2. Demangeon, R. and Honda, K. (2012). Nested protocols in session types. In CONCUR, volume 7454 of Lecture Notes in Computer Science, pages 272–286. Springer.
3. Donovan, A. A. and Kernighan, B. W. (2015). The Go programming language. Addison-Wesley Professional.
4. Echarren Serrano, B. (2020). Nested Multiparty Session Programming in Go. Master’s thesis, Imperial College London. Disponível em: [link].
5. Geraldo, J. M. P. D. C. R. (2022). Making Session Types Go. Master’s thesis, NOVA University Lisbon. Disponível em: [link].