Towards Static Type-checking for Jolie

Mingela, Bogdan; Troshkov, Nikolay; Mazzara, Manuel; Safina, Larisa; Tchitchigin, Alexander

Record: found
Abstract: found
Article: found

Is Open Access

Towards Static Type-checking for Jolie

Preprint

Author(s): Bogdan Mingela , Nikolay Troshkov , Manuel Mazzara , Larisa Safina , Alexander Tchitchigin

Publication date Created: 2017-02-23

Read this article at

ScienceOpen ArXiv

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Static verification of source code correctness is a major milestone towards software reliability. The dynamic type system of the Jolie programming language, at the moment, allows avoidable run-time errors. A static type system for the language has been exhaustively and formally defined on paper, but still lacks an implementation. In this paper, we describe our steps toward a prototypical implementation of a static type checker for Jolie, which employs a technique based on a SMT solver.