![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ricardo Peña-Marí
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c54]Ricardo Peña
, Jaime Sánchez-Hernández
, Miguel Garrido, Javier Sagredo:
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 188-205 - 2020
- [j12]Ricardo Peña
:
An Assertional Proof of Red-Black Trees Using Dafny. J. Autom. Reason. 64(4): 767-791 (2020) - [j11]Manuel Montenegro
, Susana Nieva, Ricardo Peña
, Clara Segura:
Extending Liquid Types to Arrays. ACM Trans. Comput. Log. 21(2): 13:1-13:41 (2020) - [c53]Ricardo Peña
, Jaime Sánchez-Hernández
:
White-Box Path Generation in Recursive Programs. TFP 2020: 121-135
2010 – 2019
- 2017
- [c52]Manuel Montenegro, Susana Nieva
, Ricardo Peña, Clara Segura:
Liquid Types for Array Invariant Synthesis. ATVA 2017: 289-306 - 2016
- [c51]Ricardo Peña:
An Introduction to Liquid Haskell. PROLE 2016: 68-80 - 2015
- [j10]Hans-Wolfgang Loidl, Ricardo Peña:
Editorial of Special Issue Trends in Functional Programming 2011/12. Comput. Lang. Syst. Struct. 44: 141-142 (2015) - [j9]Manuel Montenegro, Ricardo Peña, Clara Segura
:
Shape analysis in a functional language by using regular languages. Sci. Comput. Program. 111: 51-78 (2015) - [j8]Manuel Montenegro, Ricardo Peña, Clara Segura
:
Space consumption analysis by abstract interpretation: Inference of recursive functions. Sci. Comput. Program. 111: 426-457 (2015) - [j7]Manuel Montenegro, Ricardo Peña, Clara Segura
:
Space consumption analysis by abstract interpretation: Reductivity properties. Sci. Comput. Program. 111: 458-482 (2015) - [c50]Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández
:
A Generic Intermediate Representation for Verification Condition Generation. LOPSTR 2015: 227-243 - 2014
- [j6]Manuel Montenegro, Ricardo Peña, Clara Segura
:
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. Inf. Comput. 235: 3-35 (2014) - [e10]Ugo Dal Lago, Ricardo Peña:
Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8552, Springer 2014, ISBN 978-3-319-12465-0 [contents] - [e9]Gopal Gupta, Ricardo Peña:
Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8901, Springer 2014, ISBN 978-3-319-14124-4 [contents] - 2013
- [c49]Manuel Montenegro, Ricardo Peña, Clara Segura
:
Shape analysis in a functional language by using regular languages. PPDP 2013: 251-262 - [e8]Ricardo Peña, Tom Schrijvers:
15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. ACM 2013, ISBN 978-1-4503-2154-9 [contents] - [e7]Hans-Wolfgang Loidl, Ricardo Peña:
Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7829, Springer 2013, ISBN 978-3-642-40446-7 [contents] - 2012
- [e6]Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska:
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7177, Springer 2012, ISBN 978-3-642-32494-9 [contents] - [e5]Ricardo Peña, Rex L. Page:
Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7193, Springer 2012, ISBN 978-3-642-32036-1 [contents] - 2011
- [c48]Alexander Zemliak, Ricardo Peña, Eduardo Rios, Fernando Reyes-Cortés:
Generalized optimization methodology of second level for system design. CONIELECOMP 2011: 22-27 - [c47]Javier de Dios, Ricardo Peña:
Certification of Safe Polynomial Memory Bounds. FM 2011: 184-199 - [c46]Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña:
Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA 2011: 36-53 - [c45]Ricardo Peña, Agustin D. Delgado-Muñoz:
Size Invariant and Ranking Function Synthesis in a Functional Language. WFLP 2011: 52-67 - 2010
- [c44]Javier de Dios, Manuel Montenegro, Ricardo Peña:
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. IFM 2010: 305-319 - [e4]Manuel Carro
, Ricardo Peña:
Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Lecture Notes in Computer Science 5937, Springer 2010, ISBN 978-3-642-11502-8 [contents]
2000 – 2009
- 2009
- [j5]Alberto de la Encina
, Ricardo Peña-Marí:
From natural semantics to C: A formal derivation of two STG machines. J. Funct. Program. 19(1): 47-94 (2009) - [c43]Javier de Dios, Ricardo Peña-Marí:
A Certified Implementation on Top of the Java Virtual Machine. FMICS 2009: 181-196 - [c42]Manuel Montenegro, Ricardo Peña, Clara Segura
:
A Space Consumption Analysis by Abstract Interpretation. FOPARA 2009: 34-50 - [c41]Javier de Dios, Ricardo Peña-Marí:
Formal Certification of a Resource-Aware Language Implementation. TPHOLs 2009: 196-211 - [c40]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
:
A Simple Region Inference Algorithm for a First-Order Functional Language. WFLP 2009: 145-161 - [c39]Paqui Lucio, Ginés Moreno, Ricardo Peña:
Preface. PROLE 2009: 1-2 - [e3]Paqui Lucio, Ginés Moreno, Ricardo Peña:
Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009. Electronic Notes in Theoretical Computer Science 258(1), Elsevier 2009 [contents] - 2008
- [c38]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
:
An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR 2008: 135-151 - [c37]Manuel Montenegro, Ricardo Pena, Clara Segura
:
A type system for safe memory management and its proof of correctness. PPDP 2008: 152-162 - [c36]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
:
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. WFLP 2008: 167-182 - 2006
- [c35]Ricardo Peña-Marí, Clara Segura, Manuel Montenegro:
A sharing analysis for SAFE. Trends in Functional Programming 2006: 109-128 - 2005
- [j4]Ricardo Peña-Marí, Clara Segura
:
Non-determinism analyses in a parallel-functional language. J. Funct. Program. 15(1): 67-100 (2005) - [j3]Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
Parallel functional programming in Eden. J. Funct. Program. 15(3): 431-475 (2005) - [c34]Ricardo Peña-Marí, Clara Segura:
Reasoning About Skeletons in Eden. PARCO 2005: 851-858 - 2004
- [e2]Philip W. Trinder, Greg Michaelson, Ricardo Pena:
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145, Springer 2004, ISBN 3-540-23727-5 [contents] - 2003
- [j2]Hans-Wolfgang Loidl, Fernando Rubio
, Norman Scaife, Kevin Hammond
, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder:
Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 16(3): 203-251 (2003) - [c33]Clara Segura, Ricardo Pena:
Correctness of Non-determinism Analyses in a Parallel-Functional Language. IFL 2003: 69-85 - [c32]Rafael Martínez-Torres, Ricardo Pena:
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. IFL 2003: 135-151 - [c31]Alberto de la Encina, Ricardo Pena:
Formally deriving an STG machine. PPDP 2003: 102-112 - [p1]Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña, Steffen Priebe, Fernando Rubio
:
Parallelism Abstractions in Eden. Patterns and Skeletons for Parallel and Distributed Computing 2003: 95-128 - [e1]Ricardo Pena, Thomas Arts:
Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2670, Springer 2003, ISBN 3-540-40190-3 [contents] - 2001
- [c30]Cristóbal Pareja, Ricardo Pena, Fernando Rubio
, Clara Segura:
Adding Traces to a Lazy Monadic Evaluator. EUROCAST 2001: 627-641 - [c29]Ricardo Pena, Clara Segura:
Sized Types for Typing Eden Skeletons. IFL 2001: 1-17 - [c28]Alberto de la Encina, Ricardo Pena:
Proving the Correctness of the STG Machine. IFL 2001: 88-104 - [c27]Ricardo Pena, Clara Segura:
A Polynomial-Cost Non-determinism Analysis. IFL 2001: 121-137 - [c26]Ricardo Pena, Fernando Rubio
:
Parallel Functional Programming at Two Levels of Abstraction. PPDP 2001: 187-198 - [c25]Ricardo Pena, Fernando Rubio, Clara Segura:
Deriving Non-Hierarchical Process Topologies. Scottish Functional Programming Workshop 2001: 51-62 - 2000
- [c24]Ricardo Pena, Clara Segura:
Non-determinism Analysis in a Parallel-Functional Language. IFL 2000: 1-18 - [c23]Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura:
Optimising Eden by transformation. Scottish Functional Programming Workshop 2000: 13-26 - [c22]Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura:
Optimizing Eden by Program Transformation. WFLP 2000: 89-103 - [c21]Ricardo Pena:
Compiler Construction in a Functional Setting. WFLP 2000: 510-524
1990 – 1999
- 1999
- [c20]Ulrike Klusik, Ricardo Pena, Clara Segura:
Bypassing of Channels in Eden. Scottish Functional Programming Workshop 1999: 2-10 - [c19]Felix Hernandez, Ricardo Pena, Fernando Rubio:
From GranSim to Paradise. Scottish Functional Programming Workshop 1999: 11-19 - 1998
- [c18]Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena:
Implementing Eden - or: Dreams Become Reality. IFL 1998: 103-119 - 1997
- [c17]Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
High-level Parallel and Concurrent Programming in Eden. APPIA-GULP-PRODE 1997: 213-224 - [c16]Luis A. Galán, Ricardo Pena:
Verification and Refinement of Distributed Programs in a Fair Framework. ARTS 1997: 280-294 - [c15]Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena:
The Eden Coordination Model for Distributed Memory Systems. HIPS 1997: 120-124 - [c14]Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena:
DREAM: The DistRibuted Eden Abstract Machine. Implementation of Functional Languages 1997: 250-269 - 1996
- [c13]Luis A. Galán, Cristóbal Pareja, Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden. APPIA-GULP-PRODE 1996: 245-258 - [c12]Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
Eden - The Paradise of Functional Concurrent Programming. Euro-Par, Vol. I 1996: 710-713 - [c11]Ricardo Peña-Marí, Luis A. Galán:
Proving Progress Properties of non Terminating Programs under Fairness Assumptions. Euro-Par, Vol. I 1996: 775-778 - [c10]Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez
:
A New Look to Pattern Matching in Abstract Data Types. ICFP 1996: 110-121 - [c9]Luis A. Galán, Cristóbal Pareja, Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden. PLILP 1996: 289-303 - 1995
- [c8]Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide:
A Tabulation Transformation Tactic Using Haskell Arrays. GULP-PRODE 1995: 485-496 - [c7]Manuel Núñez
, Pedro Palao, Ricardo Pena:
A Second Year Course on Data Structures Based on Functional Programming. FPLE 1995: 65-84 - 1994
- [c6]Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena:
Non Homomorphic Reductions of Data Structures. GULP-PRODE (2) 1994: 393-407 - [c5]Ricardo Peña-Marí, Luis A. Galán:
Introducing Fairness in CSP Systems Specified with State Variables. PARLE 1994: 757-760 - 1993
- [c4]Ricardo Pena, Luis M. Alonso:
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. TAPSOFT 1993: 328-342 - 1991
- [c3]Luis M. Alonso, Ricardo Pena:
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. PARLE (2) 1991: 75-91
1980 – 1989
- 1989
- [j1]Celestí Rosselló, José L. Balcázar, Ricardo Pena:
Deriving Specifications of Embeddings in Recursive Program Design. Struct. Program. 10(3): 133-145 (1989) - [c2]Ricardo Pena, Luis M. Alonso:
Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. TAPSOFT, Vol.2 1989: 328-344 - 1988
- [c1]Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena:
Term Rewriting Methods for Partial Specifications. ADT 1988
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint