Geodesic
Jolie Static Type Checker: a prototype
Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 6, pp. 704-717

Voir la notice de l'article provenant de la source Math-Net.Ru

Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior. Many languages use both static and dynamic type checking. With such approach, the static type checker verifies everything possible at compile time, and the dynamic one checks the remaining. The current state of the Jolie programming language includes a dynamic type system. Consequently, it allows avoidable run-time errors. A static type system for the language has been formally defined on paper but lacks an implementation yet. In this paper, we describe a prototype of Jolie Static Type Checker (JSTC), which employs a technique based on a SMT solver. We describe the theory behind and the implementation, and the process of static analysis. The article is published in the authors’ wording.
Keywords: static analysis, Jolie programming language.
Mots-clés : microservice 
@article{MAIS_2017_24_6_a3,
     author = {D. de Carvalho and M. Mazzara and B. Mingela and L. Safina and A. Tchitchigin and N. Troshkov},
     title = {Jolie {Static} {Type} {Checker:} a prototype},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {704--717},
     publisher = {mathdoc},
     volume = {24},
     number = {6},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a3/}
}
TY  - JOUR
AU  - D. de Carvalho
AU  - M. Mazzara
AU  - B. Mingela
AU  - L. Safina
AU  - A. Tchitchigin
AU  - N. Troshkov
TI  - Jolie Static Type Checker: a prototype
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2017
SP  - 704
EP  - 717
VL  - 24
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a3/
LA  - en
ID  - MAIS_2017_24_6_a3
ER  - 
%0 Journal Article
%A D. de Carvalho
%A M. Mazzara
%A B. Mingela
%A L. Safina
%A A. Tchitchigin
%A N. Troshkov
%T Jolie Static Type Checker: a prototype
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 704-717
%V 24
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a3/
%G en
%F MAIS_2017_24_6_a3
D. de Carvalho; M. Mazzara; B. Mingela; L. Safina; A. Tchitchigin; N. Troshkov. Jolie Static Type Checker: a prototype. Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 6, pp. 704-717. http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a3/