Verified Inlining and Specialisation for PureCake (English)
Free access
- New search for: Kanabar, Hrutvik
- Further information on Kanabar, Hrutvik:
- https://orcid.org/http://orcid.org/0000-0003-3116-0392
- New search for: Korban, Kacper
- Further information on Korban, Kacper:
- https://orcid.org/http://orcid.org/0009-0000-3878-2552
- New search for: Myreen, Magnus O.
- Further information on Myreen, Magnus O.:
- https://orcid.org/http://orcid.org/0000-0002-9504-4107
- New search for: Weirich, Stephanie
- New search for: Kanabar, Hrutvik
- Further information on Kanabar, Hrutvik:
- https://orcid.org/http://orcid.org/0000-0003-3116-0392
- New search for: Korban, Kacper
- Further information on Korban, Kacper:
- https://orcid.org/http://orcid.org/0009-0000-3878-2552
- New search for: Myreen, Magnus O.
- Further information on Myreen, Magnus O.:
- https://orcid.org/http://orcid.org/0000-0002-9504-4107
In:
Programming Languages and Systems
: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
;
Chapter: 11
;
275-301
;
2024
- Article/Chapter (Book) / Electronic Resource
-
Title:Verified Inlining and Specialisation for PureCake
-
Additional title:Lect.Notes Computer
-
Contributors:Weirich, Stephanie ( editor ) / Kanabar, Hrutvik ( author ) / Korban, Kacper ( author ) / Myreen, Magnus O. ( author )
-
Conference:European Symposium on Programming ; 2024 ; Luxembourg City, Luxembourg
-
Published in:Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II ; Chapter: 11 ; 275-301Lecture Notes in Computer Science ; 14577 ; 275-301
-
Publisher:
- New search for: Springer Nature Switzerland
-
Place of publication:Cham
-
Publication date:2024-04-05
-
Size:27 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Circuit Width Estimation via Effect Typing and Linear DependencyColledan, Andrea / Dal Lago, Ugo et al. | 2024
- 2
-
On the Hardness of Analyzing Quantum Programs QuantitativelyAvanzini, Martin / Moser, Georg / Péchoux, Romain / Perdrix, Simon et al. | 2024
- 3
-
Reconciling Partial and Local InvertibilityÅgren Thuné, Anders / Matsuda, Kazutaka / Wang, Meng et al. | 2024
- 4
-
Efficient Matching with Memoization for Regexes with Look-around and Atomic GroupingFujinami, Hiroya / Hasuo, Ichiro et al. | 2024
- 5
-
A Denotational Approach to Release/Acquire ConcurrencyDvir, Yotam / Kammar, Ohad / Lahav, Ori et al. | 2024
- 6
-
Intel PMDK Transactions: Specification, Validation and ConcurrencyRaad, Azalea / Lahav, Ori / Wickerson, John / Balcer, Piotr / Dongol, Brijesh et al. | 2024
- 7
-
Artifact Report: Intel PMDK Transactions: Specification, Validation and ConcurrencyRaad, Azalea / Lahav, Ori / Wickerson, John / Balcer, Piotr / Dongol, Brijesh et al. | 2024
- 8
-
Specifying and Verifying Persistent LibrariesStefanesco, Léo / Raad, Azalea / Vafeiadis, Viktor et al. | 2024
- 9
-
Hyperproperty Verification as CHC SatisfiabilityItzhaky, Shachar / Shoham, Sharon / Vizel, Yakir et al. | 2024
- 10
-
Maximal Quantified Precondition Synthesis for Linear Array LoopsSumanth Prabhu, S / Fedyukovich, Grigory / D’Souza, Deepak et al. | 2024
- 11
-
Verified Inlining and Specialisation for PureCakeKanabar, Hrutvik / Korban, Kacper / Myreen, Magnus O. et al. | 2024
- 12
-
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming LanguagesLundén, Daniel / Hummelgren, Lars / Kudlicka, Jan / Eriksson, Oscar / Broman, David et al. | 2024
- 13
-
Higher-Order LCTRSs and Their TerminationGuo, Liye / Kop, Cynthia et al. | 2024
- 14
-
A Modular Soundness Theory for the Blackboard Analysis ArchitectureKeidel, Sven / Helm, Dominik / Roth, Tobias / Mezini, Mira et al. | 2024
- 15
-
Detection of Uncaught Exceptions in Functional Programs by Abstract InterpretationLermusiaux, Pierre / Montagu, Benoît et al. | 2024
- 16
-
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the LawMonat, Raphaël / Fromherz, Aymeric / Merigoux, Denis et al. | 2024