Jolie中的精化类型
软件工程
2016-02-23 v1 编程语言
摘要
Jolie是首个面向微服务的语言，目前采用动态类型检查。本文考虑了通过引入精化类型（refinement types）、并利用SMT求解器验证来整合动态与静态类型检查的可行性。这两方面的集成支持这样一种场景：内部服务的静态验证与（潜在恶意的）外部服务的动态验证相互协作，从而减少测试工作量并增强安全性。
引用
@article{arxiv.1602.06823,
title = {Refinement types in Jolie},
author = {Alexander Tchitchigin and Larisa Safina and Manuel Mazzara and Mohamed Elwakil and Fabrizio Montesi and Victor Rivera},
journal= {arXiv preprint arXiv:1602.06823},
year = {2016}
}