DagRep.7.7.72.pdf
- Filesize: 2.46 MB
- 16 pages
Document
Resource Bound Analysis (Dagstuhl Seminar 17291)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 7, Issue 7
Volume: Dagstuhl Reports, Volume 7
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2018-02-14
Cite As Get BibTex
Marco Gaboardi, Jan Hoffman, Reinhard Wilhelm, and Florian Zuleger. Resource Bound Analysis (Dagstuhl Seminar 17291). In Dagstuhl Reports, Volume 7, Issue 7, pp. 72-87, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DagRep.7.7.72
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17291 "Resource Bound Analysis". Resource-bound analysis is studied in formal methods and programming languages at different levels of abstraction. The goal of the Dagstuhl seminar was to bring together leading researchers with different backgrounds in resource-bound analysis to address challenging open problems and to facilitate communication across research areas.
Subject Classification
Keywords
- quantitative analysis
- resource-bound analysis
- WCET
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads