Obserwuj
Diego E. Alonso Blas
Diego E. Alonso Blas
Standard Chartered
Zweryfikowany adres z sc.com
Tytuł
Cytowane przez
Cytowane przez
Rok
On the limits of the classical approach to cost analysis
DE Alonso-Blas, S Genaim
International Static Analysis Symposium, 405-421, 2012
582012
Asymptotic resource usage bounds
E Albert, D Alonso, P Arenas, S Genaim, G Puebla
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul …, 2009
142009
Precise cost analysis via local reasoning
DE Alonso-Blas, P Arenas, S Genaim
Automated Technology for Verification and Analysis: 11th International …, 2013
112013
Handling Non-linear Operations in the Value Analysis of COSTA
D Alonso, P Arenas, S Genaim
Electronic Notes in Theoretical Computer Science 279 (1), 3-17, 2011
62011
Automatic inference of bounds on resource consumption
E Albert, DE Alonso-Blas, P Arenas, J Correas, A Flores-Montoya, ...
Formal Methods for Components and Objects: 11th International Symposium …, 2013
32013
De programas abstractos a cotas asintóticas precisas en forma cerrada
DE Alonso Blas
Universidad Complutense de Madrid, 2014
2014
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–6