Sign in
DICE-FOPARA@ETAPS
2017
2018
2019
2017
2019
Keyphrases
Publications
2019
Paulin Jacobé de Naurois
Pointers in Recursion: Exploring the Tropics.
DICE-FOPARA@ETAPS
(2019)
Franz Siglmüller
Type-Based Resource Analysis on Haskell.
DICE-FOPARA@ETAPS
(2019)
Lê Thành Dung Nguyên
On the Elementary Affine Lambda-Calculus with and Without Fixed Points.
DICE-FOPARA@ETAPS
(2019)
Bruce M. Kapron
,
Florian Steinberg
Type-two Iteration with Bounded Query Revision.
DICE-FOPARA@ETAPS
(2019)
Francesco Olivieri
,
Guido Governatori
,
Claudio Tomazzoli
,
Matteo Cristani
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes.
DICE-FOPARA@ETAPS
(2019)
volume 298, 2019
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019.
DICE-FOPARA@ETAPS
298 (2019)
2017
Bernard van Gastel
,
Marko C. J. D. van Eekelen
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems.
DICE-FOPARA@ETAPS
(2017)
Martin Avanzini
,
Michael Schaper
GUBS Upper Bound Solver (Extended Abstract).
DICE-FOPARA@ETAPS
(2017)
Jean-Yves Moyen
,
Jakob Grue Simonsen
Computability in the Lattice of Equivalence Relations.
DICE-FOPARA@ETAPS
(2017)
Jean-Yves Moyen
,
Thomas Rubiano
,
Thomas Seiller
Loop Quasi-Invariant Chunk Motion by peeling with statement composition.
DICE-FOPARA@ETAPS
(2017)
Martin Avanzini
,
Ugo Dal Lago
Automated Sized-Type Inference and Complexity Analysis.
DICE-FOPARA@ETAPS
(2017)
volume 248, 2017
Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23, 2017.
DICE-FOPARA@ETAPS
248 (2017)