Ricardo Peña

30 papers B 3C 5Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2023 — conf
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo
2020 J jnl
An Assertional Proof of Red-Black Trees Using Dafny.
J. Autom. Reason.
Ricardo Peña
2020 J jnl
Extending Liquid Types to Arrays.
ACM Trans. Comput. Log.
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
2020 — conf
White-Box Path Generation in Recursive Programs.
TFP
Ricardo Peña, Jaime Sánchez-Hernández
2017 B conf
Liquid Types for Array Invariant Synthesis.
ATVA
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
2016 — conf
An Introduction to Liquid Haskell.
PROLE
Ricardo Peña
2015 C conf
A Generic Intermediate Representation for Verification Condition Generation.
LOPSTR
Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández
2015 J jnl
Editorial of Special Issue Trends in Functional Programming 2011/12.
Comput. Lang. Syst. Struct.
Hans-Wolfgang Loidl, Ricardo Peña
2015 J jnl
Shape analysis in a functional language by using regular languages.
Sci. Comput. Program.
Manuel Montenegro, Ricardo Peña, Clara Segura
2015 J jnl
Space consumption analysis by abstract interpretation: Inference of recursive functions.
Sci. Comput. Program.
Manuel Montenegro, Ricardo Peña, Clara Segura
2015 J jnl
Space consumption analysis by abstract interpretation: Reductivity properties.
Sci. Comput. Program.
Manuel Montenegro, Ricardo Peña, Clara Segura
2014 J jnl
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation.
Inf. Comput.
Manuel Montenegro, Ricardo Peña, Clara Segura
2014 — ed.
Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
FOPARA
Ugo Dal Lago, Ricardo Peña
2014 C ed.
Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
LOPSTR
Gopal Gupta, Ricardo Peña
2013 C ed.
15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013
PPDP
Ricardo Peña, Tom Schrijvers
2013 C conf
Shape analysis in a functional language by using regular languages.
PPDP
Manuel Montenegro, Ricardo Peña, Clara Segura
2013 — ed.
Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Trends in Functional Programming
Hans-Wolfgang Loidl, Ricardo Peña
2012 — ed.
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
FOPARA
Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska
2012 — ed.
Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Trends in Functional Programming
Ricardo Peña, Rex L. Page
2011 B conf
Certification of Safe Polynomial Memory Bounds.
FM
Javier de Dios, Ricardo Peña
2011 — conf
Generalized optimization methodology of second level for system design.
CONIELECOMP
Alexander Zemliak, Ricardo Peña, Eduardo Rios, Fernando Reyes-Cortés
2011 — conf
Interpolation-Based Height Analysis for Improving a Recurrence Solver.
FOPARA
Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña
2011 — conf
Size Invariant and Ranking Function Synthesis in a Functional Language.
WFLP
Ricardo Peña, Agustin D. Delgado-Muñoz
2010 B conf
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.
IFM
Javier de Dios, Manuel Montenegro, Ricardo Peña
2010 C ed.
Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
PADL
Manuel Carro, Ricardo Peña
2009 — conf
A Space Consumption Analysis by Abstract Interpretation.
FOPARA
Manuel Montenegro, Ricardo Peña, Clara Segura
2009 — conf
Preface.
PROLE
Paqui Lucio, Ginés Moreno, Ricardo Peña
2009 — ed.
Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009
PROLE
Paqui Lucio, Ginés Moreno, Ricardo Peña
2003 — ch.
Parallelism Abstractions in Eden.
Patterns and Skeletons for Parallel and Distributed Computing
Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña, Steffen Priebe, Fernando Rubio
1994 — conf
Generic Classes Parameterized by Data Structures.
GULP-PRODE (2)
S. Clerici, Ricardo Peña