论文标题
会议记录第16届编码语言和系统定量方面的研讨会
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
论文作者
论文摘要
该EPTC卷包含第16届关于编码语言和系统定量方面的研讨会（QAPL 2019），于2019年4月7日星期日在捷克共和国布拉格举行。QAPL 2019是欧洲关于软件理论和实践的欧洲联合会议的卫星事件（ETAPS 2019）。 QAPL着重于计算的定量方面，这些方面可能是指物理量（时间，带宽等）以及用于表征行为和确定系统属性的数学数量（例如概率）。这样的数量在定义系统模型（体系结构，语言，语义）以及用于分析和验证系统属性的方法和工具方面起着核心作用。 QAPL研讨会系列的目的是讨论直接在模型中的时间，概率和一般数量的明确使用，或者作为用于分析或合成系统的工具。 QAPL的第16版还重点介绍了我们的研讨会在其近20年的历史上涵盖的这一领域的发展，挑战和结果。
This EPTCS volume contains the proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019) held in Prague, Czech Republic, on Sunday 7 April 2019. QAPL 2019 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019). QAPL focuses on quantitative aspects of computations, which may refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (e.g., probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of the QAPL workshop series is to discuss the explicit use of time and probability and general quantities either directly in the model or as a tool for the analysis or synthesis of systems. The 16th edition of QAPL also focuses on discussing the developments, challenges and results in this area covered by our workshop in its nearly 20-year history.
