Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages (English)
Free access
- New search for: Lundén, Daniel
- Further information on Lundén, Daniel:
- https://orcid.org/http://orcid.org/0000-0003-3127-5640
- New search for: Hummelgren, Lars
- New search for: Kudlicka, Jan
- Further information on Kudlicka, Jan:
- https://orcid.org/http://orcid.org/0000-0003-3806-4950
- New search for: Eriksson, Oscar
- Further information on Eriksson, Oscar:
- https://orcid.org/http://orcid.org/0009-0001-0678-549X
- New search for: Broman, David
- Further information on Broman, David:
- https://orcid.org/http://orcid.org/0000-0001-8457-4105
- New search for: Weirich, Stephanie
- New search for: Lundén, Daniel
- Further information on Lundén, Daniel:
- https://orcid.org/http://orcid.org/0000-0003-3127-5640
- New search for: Hummelgren, Lars
- New search for: Kudlicka, Jan
- Further information on Kudlicka, Jan:
- https://orcid.org/http://orcid.org/0000-0003-3806-4950
- New search for: Eriksson, Oscar
- Further information on Eriksson, Oscar:
- https://orcid.org/http://orcid.org/0009-0001-0678-549X
- New search for: Broman, David
- Further information on Broman, David:
- https://orcid.org/http://orcid.org/0000-0001-8457-4105
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: 12
;
302-330
;
2024
- Article/Chapter (Book) / Electronic Resource
-
Title:Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
-
Additional title:Lect.Notes Computer
-
Contributors:Weirich, Stephanie ( editor ) / Lundén, Daniel ( author ) / Hummelgren, Lars ( author ) / Kudlicka, Jan ( author ) / Eriksson, Oscar ( author ) / Broman, David ( 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: 12 ; 302-330Lecture Notes in Computer Science ; 14577 ; 302-330
-
Publisher:
- New search for: Springer Nature Switzerland
-
Place of publication:Cham
-
Publication date:2024-04-05
-
Size:29 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