过去$2^4$年及未来编程语言与系统的定量方面
编程语言
2020-01-22 v1 信息论
计算机科学中的逻辑
math.IT
摘要
计算的定量方面涉及物理与数学量的使用，包括时间、性能指标、概率以及可靠性与安全性度量。它们对于刻画许多关键系统的行为并估计其属性至关重要。因此，它们需要在系统建模层面以及验证方法与工具内部加以集成。在过去二十年中，多种理论成果与自动化技术促使定量建模与验证成为研究界的主流。在同一时期，它们构成了2001年诞生的定量方面编程语言与系统（QAPL）系列研讨会的核心主题。本综述旨在从QAPL及其社群的视角重访这些成果与结果。
引用
@article{arxiv.2001.06942,
title = {Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond},
author = {Alessandro Aldini},
journal= {arXiv preprint arXiv:2001.06942},
year = {2020}
}
备注
In Proceedings QAPL 2019, arXiv:2001.06163