ISSN 2307-6410

Статическая проверка типов для языка Jolie

Towards Static Type-checking for Jolie

Language:
English
Author(s):
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.
UDK:
Pages:
77-88
File:
Number: