Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Ricardo
Last name:	Peña-Marí
DBLP:	p/RicardoPenaMari
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 44  

Select a publication
Show	Title	Venue	Rating	Date
	Javier de Dios, Ricardo Peña-Marí. Formal Certification of a Resource-Aware Language Implementation.	Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 2009	(0)	2009
	Javier de Dios, Ricardo Peña-Marí. A Certified Implementation on Top of the Java Virtual Machine.	Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings 2009	(0)	2009
	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.	Electr. Notes Theor. Comput. Sci. 2009, Volume 246	(0)	2009
	Alberto de la Encina, Ricardo Peña-Marí. From natural semantics to C: A formal derivation of two STG machines.	J. Funct. Program. 2009, Volume 19	(0)	2009
	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura. An Inference Algorithm for Guaranteeing Safe Destruction.	Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 2009	(0)	2008
	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura. A type system for safe memory management and its proof of correctness.	Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain 2008	(0)	2008
	Ricardo Peña-Marí, Clara Segura, Manuel Montenegro. A sharing analysis for SAFE.	Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. 2007	(0)	2006
	Ricardo Peña-Marí, Clara Segura. Non-determinism analyses in a parallel-functional language.	J. Funct. Program. 2005, Volume 15	(0)	2005
	Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí. Parallel functional programming in Eden.	J. Funct. Program. 2005, Volume 15	(0)	2005
	Rafael Martínez, Ricardo Peña-Marí. Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.	Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers 2004	(0)	2003
	Clara Segura, Ricardo Peña-Marí. Correctness of Non-determinism Analyses in a Parallel-Functional Language.	Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers 2004	(0)	2003
	Alberto de la Encina, Ricardo Peña-Marí. Formally deriving an STG machine.	Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden 2003	(0)	2003
	Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Peña-Marí, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder. Comparing Parallel Functional Languages: Programming and Performance	Higher-Order and Symbolic Computation 2003, Volume 16	(0)	2003
	Cristóbal Pareja-Flores, Ricardo Peña-Marí, Fernando Rubio, Clara Segura. Adding Traces to a Lazy Monadic Evaluator.	Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers 2001	(0)	2001
	Ricardo Peña-Marí, Clara Segura. Sized Types for Typing Eden Skeletons.	Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers 2002	(0)	2001
	Ricardo Peña-Marí, Clara Segura. A Polynomial-Cost Non-determinism Analysis.	Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers 2002	(0)	2001
	Alberto de la Encina, Ricardo Peña-Marí. Proving the Correctness of the STG Machine.	Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers 2002	(0)	2001
	Ricardo Peña-Marí, Fernando Rubio. Parallel Functional Programming at Two Levels of Abstraction.	Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy 2001	(0)	2001
	Ricardo Peña-Marí, Fernando Rubio, Clara Segura. Deriving Non-Hierarchical Process Topologies.	Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 2002	(0)	2001
	Ricardo Peña-Marí, Clara Segura. Non-determinism Analysis in a Parallel-Functional Language.	Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers 2001	(0)	2000
	Cristóbal Pareja-Flores, Ricardo Peña-Marí, Fernando Rubio, Clara Segura. Optimising Eden by transformation.	Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000 2000	(0)	2000
	Cristóbal Pareja-Flores, Ricardo Peña-Marí, Fernando Rubio, Clara Segura. Optimizing Eden by Program Transformation.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Ricardo Peña-Marí. Compiler Construction in a Functional Setting.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Felix Hernandez, Ricardo Peña-Marí, Fernando Rubio. From GranSim to Paradise.	Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999 2000	(0)	1999
	Ulrike Klusik, Ricardo Peña-Marí, Clara Segura. Bypassing of Channels in Eden.	Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999 2000	(0)	1999

Your query returned 44 matches in the database.