Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

15 résultats
Page :
triés par

On sharing, memoization, and polynomial time

 Martin Avanzini , Ugo Dal Lago
Information and Computation, 2018, 261, pp.3 - 22. ⟨10.1016/j.ic.2018.05.003⟩
Article dans une revue hal-01926431v1
Image document

TcT: Tyrolean Complexity Tool

 Martin Avanzini , Georg Moser , Michael Schaper
Proceedings of 22nd TACAS, Apr 2016, Eindhoven, Netherlands. pp.407-423, ⟨10.1007/978-3-662-49674-9_24⟩
Communication dans un congrès hal-01392188v1

On probabilistic term rewriting

 Martin Avanzini , Ugo Dal Lago , Akihisa Yamada
Science of Computer Programming, 2020, 185, pp.102338. ⟨10.1016/j.scico.2019.102338⟩
Article dans une revue hal-02381877v1
Image document

On continuation-passing transformations and expected cost analysis

 Martin Avanzini , Gilles Barthe , Ugo Dal Lago
Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1 - 30. ⟨10.1145/3473592⟩
Article dans une revue hal-03338493v1
Image document

Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order

 Martin Avanzini , Ugo Dal Lago , Georg Moser
ICFP 2015, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784753⟩
Communication dans un congrès hal-01231809v1
Image document

Type-Based Complexity Analysis of Probabilistic Functional Programs (Technical Report)

 Martin Avanzini , Ugo Dal Lago , Alexis Ghyselen
[Research Report] INRIA Sophia Antipolis; University of Bologna; ENS Lyon. 2019
Rapport hal-02103943v1
Image document

Automated Expected Value Analysis of Recursive Programs

 Martin Avanzini , Georg Moser , Michael Schaper
Proceedings of the ACM on Programming Languages, 2023, 7 (PLDI), pp.1050-1072. ⟨10.1145/3591263⟩
Article dans une revue hal-04345663v1
Image document

Type-Based Complexity Analysis of Probabilistic Functional Programs

 Martin Avanzini , Ugo Dal Lago , Alexis Ghyselen
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785725⟩
Communication dans un congrès hal-02381829v1
Image document

Complexity of Acyclic Term Graph Rewriting

 Martin Avanzini , Georg Moser
Proceedings of FSCD'16, Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016⟩
Communication dans un congrès hal-01336582v1
Image document

Certification of Complexity Proofs using CeTA

 Martin Avanzini , Christian Sternagel , René Thiemann
26th International Conference on Rewriting Techniques and Applications, Jun 2015, Warsaw, Poland. ⟨10.4230/LIPIcs.RTA.2015.23⟩
Communication dans un congrès hal-01252000v1
Image document

On Sharing, Memoization, and Polynomial Time

 Martin Avanzini , Ugo Dal Lago
Proceedings of STACS 2015, 2015, Munich, Germany. ⟨10.4230/LIPIcs.STACS.2015.62⟩
Communication dans un congrès hal-01231816v1
Image document

On Probabilistic Term Rewriting

 Martin Avanzini , Ugo Dal Lago , Akihisa Yamada
Functional and Logic Programming - 14th International Symposium, Proceedings, May 2018, Nagoya, Japan
Communication dans un congrès hal-01926502v1
Image document

Automating sized-type inference for complexity analysis

 Martin Avanzini , Ugo Dal Lago
Proceedings of the ACM on Programming Languages, 2017, 1 (ICFP), pp.1 - 29. ⟨10.1145/3110287⟩
Article dans une revue hal-01639200v1
Image document

Quantum Expectation Transformers for Cost Analysis

 Martin Avanzini , Georg Moser , Romain Péchoux , Simon Perdrix , Vladimir Zamdzhiev
Symposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel
Communication dans un congrès hal-03540366v1
Image document

A Modular Cost Analysis for Probabilistic Programs

 Martin Avanzini , Georg Moser , Michael Schaper
OOPSLA 2020 - Conference on Object-oriented Programming, Systems, Languages, and Applications part of SPLASH 2020, Nov 2020, Chicago / Online, United States
Communication dans un congrès hal-03013544v1
Page :