DeepAI AI Chat
Log In Sign Up

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

01/20/2020
by   Alessandro Aldini, et al.
University of Urbino
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

01/17/2020

Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems

This EPTCS volume contains the proceedings of the 16th Workshop on Quant...
07/12/2017

Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems

This volume of the EPTCS contains the proceedings of the 15th internatio...
04/24/2022

A Generic Approach to Quantitative Verification

This thesis is concerned with quantitative verification, that is, the ve...
06/02/2020

Analyzing programming languages by community characteristics on Github and StackOverflow

The choice of programming language is a very important decision as it no...
06/21/2023

Using R for teaching and research

R is a language and environment for statistical computing and graphics, ...
06/21/2019

Verification and Control of Turn-Based Probabilistic Real-Time Games

Quantitative verification techniques have been developed for the formal ...
01/26/2022

Fifty Years of Prolog and Beyond

Both logic programming in general, and Prolog in particular, have a long...