Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Salvato in:
| Pubblicato in: | arXiv.org (Jun 3, 2024), p. n/a |
|---|---|
| Autore principale: | |
| Altri autori: | , |
| Pubblicazione: |
Cornell University Library, arXiv.org
|
| Soggetti: | |
| Accesso online: | Citation/Abstract Full text outside of ProQuest |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2674531188 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 024 | 7 | |a 10.1007/978-3-031-13188-2_4 |2 doi | |
| 035 | |a 2674531188 | ||
| 045 | 0 | |b d20240603 | |
| 100 | 1 | |a Lorenz Leutgeb | |
| 245 | 1 | |a Automated Expected Amortised Cost Analysis of Probabilistic Data Structures | |
| 260 | |b Cornell University Library, arXiv.org |c Jun 3, 2024 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a In this paper, we present the first fully-automated expected amortised cost analysis of self-adjusting data structures, that is, of randomised splay trees, randomised splay heaps and randomised meldable heaps, which so far have only (semi-) manually been analysed in the literature. Our analysis is stated as a type-and-effect system for a first-order functional programming language with support for sampling over discrete distributions, non-deterministic choice and a ticking operator. The latter allows for the specification of fine-grained cost models. We state two soundness theorems based on two different -- but strongly related -- typing rules of ticking, which account differently for the cost of non-terminating computations. Finally we provide a prototype implementation able to fully automatically analyse the aforementioned case studies. | |
| 653 | |a Data analysis | ||
| 653 | |a Cost analysis | ||
| 653 | |a Functional programming | ||
| 653 | |a Data structures | ||
| 653 | |a Programming languages | ||
| 700 | 1 | |a Moser, Georg | |
| 700 | 1 | |a Zuleger, Florian | |
| 773 | 0 | |t arXiv.org |g (Jun 3, 2024), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2674531188/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/2206.03537 |