Proceedings of the ninth workshop on quantitative aspects of programming languages, Saarbrücken, Germany, April 1--3, 2011

DOI10.4204/EPTCS.57zbMATH Open1415.68037arXiv1107.0746OpenAlexW1582660666MaRDI QIDQ4968445FDOQ4968445

Authors:

Publication date: 12 July 2019

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrucken, Germany, April 1--3, 2011. QAPL 2011 is a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2011). The workshop theme is on quantitative aspects of computation. These aspects are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust), and play an important (sometimes essential) role in characterising the behavior and determining the properties of systems. Such quantities are central to the definition of both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of the systems properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems.

Full work available at URL: https://arxiv.org/abs/1107.0746

Recommendations

• Proceedings of the eighth workshop on quantitative aspects of programming languages, Paphos, Cyprus, March 27--28, 2010
• Proceedings of the 11th international workshop on quantitative aspects of programming languages and systems, Rome, Italy, March 23--24, 2013
• Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems
• Editorial: Quantitative aspects of programming languages and systems
• Preface: Quantitative aspects of programming languages and systems (2011--12)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (4)

• Proceedings of the 11th international workshop on quantitative aspects of programming languages and systems, Rome, Italy, March 23--24, 2013
• Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems
• Editorial: Quantitative aspects of programming languages and systems
• Proceedings of the eighth workshop on quantitative aspects of programming languages, Paphos, Cyprus, March 27--28, 2010

This page was built for publication: Proceedings of the ninth workshop on quantitative aspects of programming languages, Saarbrücken, Germany, April 1--3, 2011

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4968445)