Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
(University of Urbino)

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.

In Alessandro Aldini and Herbert Wiklicky: Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019), Prague, Czech Republic, 7th April 2019, Electronic Proceedings in Theoretical Computer Science 312, pp. 1–19.
Published: 20th January 2020.

ArXived at: http://dx.doi.org/10.4204/EPTCS.312.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org