Refinement Types in Jolie
Jolie is the first language for microservices and it is currently dynamically type checked. This paper considers the opportunity to integrate dynamic and static type checking with the introduction of refinement types, verified via an SMT solver. The integration of the two aspects allows a scenario w...
Main Authors: | Alexander Tchitchigin, Larisa Safina, Mohamed Elwakil, Manuel Mazzara, Fabrizio Montesi, Victor Rivera |
---|---|
Format: | Article |
Language: | English |
Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
Series: | Труды Института системного программирования РАН |
Subjects: | |
Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/58 |
Similar Items
-
Jolie Static Type Checker: a Prototype
by: Daniel de Carvalho, et al.
Published: (2017-12-01) -
As mamas de Angelina Jolie e as relações de corpo, cultura e comunicação no discurso da revista Veja
by: Muriel Emídio Pessoa do Amaral, et al.
Published: (2015-01-01) -
Rotational-XOR Cryptanalysis of Reduced-round SPECK
by: Yunwen Liu, et al.
Published: (2017-09-01) -
Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition
by: Champion, Adrien
Published: (2014) -
Linguagem e produção de sentido: o conhecimento do Jornalismo
by: Rafael Paes Henriques
Published: (2012-10-01)