Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security. They are essential in characterizing the behaviour of many critical systems and in estimating their properties. Hence, they need to be integrated both at the level of system modeling and within the verification methodologies and tools. Along the last two decades a variety of theoretical achievements and automated techniques have contributed to make quantitative modeling and verification mainstream in the research community. In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001. The aim of this survey is to revisit such achievements and results from the standpoint of QAPL and its community.

中文翻译：

---

过去 $2^4$ 年及以后编程语言和系统的定量方面

计算的定量方面与物理量和数学量的使用有关，包括时间、性能指标、概率以及可靠性和安全性措施。它们对于表征许多关键系统的行为和估计它们的特性至关重要。因此，它们需要在系统建模级别以及验证方法和工具中进行集成。在过去的二十年里，各种理论成果和自动化技术使定量建模和验证成为研究界的主流。同期，他们代表了 2001 年诞生的题为“编程语言和系统的定量方面（QAPL）”系列研讨会的中心主题。