Montenegro, Manuel; Nieva, Susana; Peña, Ricardo; Segura, Clara Extending liquid types to arrays. (English) Zbl 1446.68096 ACM Trans. Comput. Log. 21, No. 2, Article No. 13, 41 p. (2020). MSC: 68Q60 03B38 03B70 PDF BibTeX XML Cite \textit{M. Montenegro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 13, 41 p. (2020; Zbl 1446.68096) Full Text: DOI
Peña, Ricardo An assertional proof of red-black trees using Dafny. (English) Zbl 07187046 J. Autom. Reasoning 64, No. 4, 767-791 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{R. Peña}, J. Autom. Reasoning 64, No. 4, 767--791 (2020; Zbl 07187046) Full Text: DOI
Loidl, Hans-Wolfgang (ed.); Peña, Ricardo (ed.) Preface: Editorial of special issue trends in functional programming 2011/12. (English) Zbl 1387.68025 Comput. Lang. Syst. Struct. 44, Part B, 141-142 (2015). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{H.-W. Loidl} (ed.) and \textit{R. Peña} (ed.), Comput. Lang. Syst. Struct. 44, Part B, 141--142 (2015; Zbl 1387.68025) Full Text: DOI
Montenegro, Manuel; Peña, Ricardo; Sánchez-Hernández, Jaime A generic intermediate representation for verification condition generation. (English) Zbl 06539456 Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 227-243 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Lect. Notes Comput. Sci. 9527, 227--243 (2015; Zbl 06539456) Full Text: DOI
Gupta, Gopal (ed.); Peña, Ricardo (ed.) Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. (English) Zbl 1320.68017 Lecture Notes in Computer Science 8901. Cham: Springer (ISBN 978-3-319-14124-4/pbk; 978-3-319-14125-1/ebook). xii, 237 p. (2014). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{G. Gupta} (ed.) and \textit{R. Peña} (ed.), Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers. Cham: Springer (2014; Zbl 1320.68017) Full Text: DOI
Dal Lago, Ugo (ed.); Peña, Ricardo (ed.) Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013. Revised selected papers. (English) Zbl 1326.68011 Lecture Notes in Computer Science 8552. Cham: Springer (ISBN 978-3-319-12465-0/pbk; 978-3-319-12466-7/ebook). ix, 161 p. (2014). MSC: 68-06 68Nxx 68Qxx 00B25 PDF BibTeX XML Cite \textit{U. Dal Lago} (ed.) and \textit{R. Peña} (ed.), Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29--31, 2013. Revised selected papers. Cham: Springer (2014; Zbl 1326.68011) Full Text: DOI
Montenegro, Manuel; Peña, Ricardo; Segura, Clara A resource semantics and abstract machine for Safe: a functional language with regions and explicit deallocation. (English) Zbl 1358.68059 Inf. Comput. 235, 3-35 (2014). MSC: 68N18 68N20 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Inf. Comput. 235, 3--35 (2014; Zbl 1358.68059) Full Text: DOI
Loidl, Hans-Wolfgang (ed.); Peña, Ricardo (ed.) Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12–14, 2012. Revised selected papers. (English) Zbl 1269.68024 Lecture Notes in Computer Science 7829. Berlin: Springer (ISBN 978-3-642-40446-7/pbk). x, 311 p. (2013). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{H.-W. Loidl} (ed.) and \textit{R. Peña} (ed.), Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12--14, 2012. Revised selected papers. Berlin: Springer (2013; Zbl 1269.68024) Full Text: DOI
Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo Interpolation-based height analysis for improving a recurrence solver. (English) Zbl 1367.68071 Peña, Ricardo (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). Lecture Notes in Computer Science 7177, 36-53 (2012). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Lect. Notes Comput. Sci. 7177, 36--53 (2012; Zbl 1367.68071) Full Text: DOI
Peña, Ricardo (ed.); Page, Rex (ed.) Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16–18, 2011. Revised selected papers. (English) Zbl 1250.68045 Lecture Notes in Computer Science 7193. Berlin: Springer (ISBN 978-3-642-32036-1/pbk). x, 195 p. (2012). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{R. Peña} (ed.) and \textit{R. Page} (ed.), Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16--18, 2011. Revised selected papers. Berlin: Springer (2012; Zbl 1250.68045) Full Text: DOI
Peña, Ricardo (ed.); van Eekelen, Marko (ed.); Shkaravska, Olha (ed.) Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. (English) Zbl 1250.68046 Lecture Notes in Computer Science 7177. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). ix, 143 p. (2012). MSC: 68-06 68Nxx 68Qxx 00B25 PDF BibTeX XML Cite \textit{R. Peña} (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (2012; Zbl 1250.68046)
Montenegro, Manuel; Peña, Ricardo; Segura, Clara A space consumption analysis by abstract interpretation. (English) Zbl 1305.68062 van Eekelen, Marko (ed.) et al., Foundational and practical aspects of resource analysis. First international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-15330-3/pbk). Lecture Notes in Computer Science 6324, 34-50 (2010). MSC: 68N30 68N15 68N18 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Lect. Notes Comput. Sci. 6324, 34--50 (2010; Zbl 1305.68062) Full Text: DOI
Montenegro, Manuel; Peña, Ricardo; Segura, Clara A resource-aware semantics and abstract machine for a functional language with explicit deallocation. (English) Zbl 1347.68054 Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 167-182 (2009). MSC: 68N18 03B70 68N15 68N20 68N30 68P05 68Q55 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Electron. Notes Theor. Comput. Sci. 246, 167--182 (2009; Zbl 1347.68054) Full Text: DOI
Lucio, Paqui (ed.); Moreno, Ginès (ed.); Peña, Ricardo (ed.) Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9–11, 2009. (English) Zbl 1281.68032 Electronic Notes in Theoretical Computer Science 258, No. 1. Amsterdam: Elsevier. 121 p., electronic only (2009). MSC: 68-06 68N15 00B25 PDF BibTeX XML Cite \textit{P. Lucio} (ed.) et al., Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9--11, 2009. Amsterdam: Elsevier (2009; Zbl 1281.68032) Full Text: Link
de Dios, Javier; Peña, Ricardo Formal certification of a resource-aware language implementation. (English) Zbl 1252.68070 Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 196-211 (2009). MSC: 68N20 68N18 68Q60 68T15 PDF BibTeX XML Cite \textit{J. de Dios} and \textit{R. Peña}, Lect. Notes Comput. Sci. 5674, 196--211 (2009; Zbl 1252.68070) Full Text: DOI
Montenegro, Manuel; Peña, Ricardo; Segura, Clara An inference algorithm for guaranteeing Safe destruction. (English) Zbl 1185.68200 Hanus, Michael (ed.), Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17–18, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00514-5/pbk). Lecture Notes in Computer Science 5438, 135-151 (2009). MSC: 68N18 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Lect. Notes Comput. Sci. 5438, 135--151 (2009; Zbl 1185.68200) Full Text: DOI
de la Encina, Alberto; Peña, Ricardo From natural semantics to C: a formal derivation of two STG machines. (English) Zbl 1159.68005 J. Funct. Program. 19, No. 1, 47-94 (2009). MSC: 68N18 68N20 68Q55 PDF BibTeX XML Cite \textit{A. de la Encina} and \textit{R. Peña}, J. Funct. Program. 19, No. 1, 47--94 (2009; Zbl 1159.68005) Full Text: DOI
Peña, Ricardo; Segura, Clara Non-determinism analyses in a parallel-functional language. (English) Zbl 1063.68025 J. Funct. Program. 15, No. 1, 67-100 (2005). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{R. Peña} and \textit{C. Segura}, J. Funct. Program. 15, No. 1, 67--100 (2005; Zbl 1063.68025) Full Text: DOI
Martínez, Rafael; Peña, Ricardo Building an interface between Eden and Maple: A way of parallelizing computer algebra algorithms. (English) Zbl 1108.68350 Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 135-151 (2004). MSC: 68N15 68N18 68W30 PDF BibTeX XML Cite \textit{R. Martínez} and \textit{R. Peña}, Lect. Notes Comput. Sci. 3145, 135--151 (2004; Zbl 1108.68350) Full Text: DOI
Segura, Clara; Peña, Ricardo Correctness of non-determinism analyses in a parallel-functional language. (English) Zbl 1108.68354 Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 69-85 (2004). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{C. Segura} and \textit{R. Peña}, Lect. Notes Comput. Sci. 3145, 69--85 (2004; Zbl 1108.68354) Full Text: DOI
Trinder, Phil (ed.); Michaelson, Greg (ed.); Peña, Ricardo (ed.) Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. (English) Zbl 1056.68017 Lecture Notes in Computer Science 3145. Berlin: Springer (ISBN 3-540-23727-5/pbk). ix, 185 p. (2004). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{P. Trinder} (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8--11, 2003. Revised papers. Berlin: Springer (2004; Zbl 1056.68017) Full Text: DOI
Peña, Ricardo (ed.); Arts, Thomas (ed.) Implementation of functional languages. 14th international workshop, IFL 2002, Madrid, Spain, September 16–18, 2002. Revised selected papers. (English) Zbl 1049.68012 Lecture Notes in Computer Science 2670. Berlin: Springer (ISBN 3-540-40190-3/pbk). x, 249 p. (2003). MSC: 68-06 00B25 68N18 PDF BibTeX XML Cite \textit{R. Peña} (ed.) and \textit{T. Arts} (ed.), Implementation of functional languages. 14th international workshop, IFL 2002, Madrid, Spain, September 16--18, 2002. Revised selected papers. Berlin: Springer (2003; Zbl 1049.68012) Full Text: Link
Loogen, Rita; Ortega, Yolanda; Peña, Ricardo; Priebe, Steffen; Rubio, Fernando Parallelism abstractions in Eden. (English) Zbl 1111.68374 Rabhi, Fethi A. (ed.) et al., Patterns and skeletons for parallel and distributed computing. London: Springer (ISBN 1-85233-506-8/hbk). 95-128 (2003). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{R. Loogen} et al., in: Patterns and skeletons for parallel and distributed computing. London: Springer. 95--128 (2003; Zbl 1111.68374)
Loidl, H.-W.; Rubio, F.; Scaife, N.; Hammond, K.; Horiguchi, S.; Klusik, U.; Loogen, R.; Michaelson, G. J.; Peña, R.; Priebe, S.; Rebón, Á. J.; Trinder, P. W. Comparing parallel functional languages: Programming and performance. (English) Zbl 1074.68541 High.-Order Symb. Comput. 16, No. 3, 203-251 (2003). MSC: 68N18 68N19 68N15 PDF BibTeX XML Cite \textit{H. W. Loidl} et al., High.-Order Symb. Comput. 16, No. 3, 203--251 (2003; Zbl 1074.68541) Full Text: DOI
Klusik, Ulrike; Peña, Ricardo; Rubio, Fernando Replicated workers in Eden. (English) Zbl 1086.68528 Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 143-164 (2002). MSC: 68N18 68M20 PDF BibTeX XML Cite \textit{U. Klusik} et al., Adv. Comput., Theory Pract. 10, 143--164 (2002; Zbl 1086.68528)
Peña, Ricardo; Segura, Clara A polynomial-cost non-determinism analysis. (English) Zbl 1053.68554 Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 121-137 (2002). MSC: 68N18 PDF BibTeX XML Cite \textit{R. Peña} and \textit{C. Segura}, Lect. Notes Comput. Sci. 2312, 121--137 (2002; Zbl 1053.68554) Full Text: Link
de la Encina, Alberto; Peña, Ricardo Proving the correctness of the STG machine. (English) Zbl 1053.68557 Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 88-104 (2002). MSC: 68N18 68Q55 68Q60 PDF BibTeX XML Cite \textit{A. de la Encina} and \textit{R. Peña}, Lect. Notes Comput. Sci. 2312, 88--104 (2002; Zbl 1053.68557) Full Text: Link
Peña, Ricardo; Segura, Clara Sized types for typing Eden skeletons. (English) Zbl 1053.68553 Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 1-17 (2002). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{R. Peña} and \textit{C. Segura}, Lect. Notes Comput. Sci. 2312, 1--17 (2002; Zbl 1053.68553) Full Text: Link
Pareja, Cristóbal; Peña, Ricardo; Rubio, Fernando; Segura, Clara Adding traces to a lazy monadic evaluator. (English) Zbl 1023.68518 Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2178, 627-641 (2001). MSC: 68N18 PDF BibTeX XML Cite \textit{C. Pareja} et al., Lect. Notes Comput. Sci. 2178, 627--641 (2001; Zbl 1023.68518) Full Text: Link
Peña, Ricardo; Segura, Clara Non-determinism analysis in a parallel-functional language. (English) Zbl 0977.68713 Mohnen, Markus (ed.) et al., Implementation of functional languages. 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2011, 1-18 (2001). MSC: 68U99 PDF BibTeX XML Cite \textit{R. Peña} and \textit{C. Segura}, Lect. Notes Comput. Sci. 2011, 1--18 (2001; Zbl 0977.68713) Full Text: Link
Palao Gostanza, Pedro; Peña, Ricardo; Núñez, Manuel A new look at pattern matching in abstract data types. (English) Zbl 1345.68068 Wexelblat, Richard L. (ed.), Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP ’96, Philadelphia, PA, USA, May 24–26, 1996. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-770-7). ACM SIGPLAN Notices 31, No. 6, 110-121 (1996). MSC: 68N18 68Q55 68Q65 PDF BibTeX XML Cite \textit{P. Palao Gostanza} et al., in: Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP '96, Philadelphia, PA, USA, May 24--26, 1996. New York, NY: Association for Computing Machinery (ACM). 110--121 (1996; Zbl 1345.68068) Full Text: DOI