Jolie Static Type Checker: a Prototype

Jolie Static Type Checker: a Prototype

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 app...

Full description

Saved in:
Bibliographic Details
Main Authors: Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov
Format: Article
Language:English
Published: Yaroslavl State University 2017-12-01
Series:Моделирование и анализ информационных систем
Subjects:
microservice
static analysis
jolie programming language
Online Access:https://www.mais-journal.ru/jour/article/view/608
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items