Proceedings 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017): Uppsala, Sweden, 23rd April 2017

H. Wiklicky, E.P. de Vink

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Uittreksel

This EPTCS volume contains the proceedings of the fifteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017) held in Uppsala, Sweden, on Sunday 23 April 2017. QAPL 2017 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017).
The central theme of the QAPL workshops is that of 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 behaviour and determining the properties of systems. Quantities are also 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 system properties. The aim of the QAPL workshops 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.
Originele taal-2Engels
Plaats van productieUppsala
Aantal pagina's126
Volume250
UitgaveElectronic Proceedings in Theoretical Computer Science
DOI's
StatusGepubliceerd - 2017
EvenementFifteenth Workshop on Quantitative Aspects of Programming Languages and Systems - Uppsala, Zweden
Duur: 23 apr 201723 apr 2017

Vingerafdruk

Computer programming languages
Semantics
Satellites
Bandwidth

Bibliografische nota

co-editor H. Wiklicky

Citeer dit

Wiklicky, H. ; de Vink, E.P. / Proceedings 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017) : Uppsala, Sweden, 23rd April 2017. Electronic Proceedings in Theoretical Computer Science redactie Uppsala, 2017. 126 blz.
@book{417434ab238f4290bf4bf089ed0888dc,
title = "Proceedings 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017): Uppsala, Sweden, 23rd April 2017",
abstract = "This EPTCS volume contains the proceedings of the fifteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017) held in Uppsala, Sweden, on Sunday 23 April 2017. QAPL 2017 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017). The central theme of the QAPL workshops is that of 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 behaviour and determining the properties of systems. Quantities are also 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 system properties. The aim of the QAPL workshops 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.",
author = "H. Wiklicky and {de Vink}, E.P.",
note = "co-editor H. Wiklicky",
year = "2017",
doi = "10.4204/EPTCS.250",
language = "English",
volume = "250",
edition = "Electronic Proceedings in Theoretical Computer Science",

}

Proceedings 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017) : Uppsala, Sweden, 23rd April 2017. / Wiklicky, H.; de Vink, E.P.

Electronic Proceedings in Theoretical Computer Science redactie Uppsala, 2017. 126 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

TY - BOOK

T1 - Proceedings 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017)

T2 - Uppsala, Sweden, 23rd April 2017

AU - Wiklicky, H.

AU - de Vink, E.P.

N1 - co-editor H. Wiklicky

PY - 2017

Y1 - 2017

N2 - This EPTCS volume contains the proceedings of the fifteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017) held in Uppsala, Sweden, on Sunday 23 April 2017. QAPL 2017 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017). The central theme of the QAPL workshops is that of 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 behaviour and determining the properties of systems. Quantities are also 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 system properties. The aim of the QAPL workshops 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.

AB - This EPTCS volume contains the proceedings of the fifteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017) held in Uppsala, Sweden, on Sunday 23 April 2017. QAPL 2017 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017). The central theme of the QAPL workshops is that of 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 behaviour and determining the properties of systems. Quantities are also 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 system properties. The aim of the QAPL workshops 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.

U2 - 10.4204/EPTCS.250

DO - 10.4204/EPTCS.250

M3 - Book editing

VL - 250

BT - Proceedings 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017)

CY - Uppsala

ER -