Yolanda Ortega-Mallén

According to our database, Yolanda Ortega-Mallén authored at least 26 papers between 1990 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Rule Formats for Nominal Process Calculi.

Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén

Log. Methods Comput. Sci., 2019

2014

The Role of Indirections in Lazy Natural Semantics.

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Perspectives of System Informatics, 2014

2012

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation.

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

Relating function spaces to resourced function spaces.

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2009

To be or not to be ...lazy (In a Parallel Context).

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

An Operational Semantics for Distributed Lazy Evaluation.

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

2006

Analyzing the influence of mixed evaluation on the performance of Eden skeletons.

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio

Parallel Comput., 2006

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics.

Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Parallel functional programming in Eden.

Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí

J. Funct. Program., 2005

Towards Improving Skeletons in Eden.

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

2004

Dealing Denotationally With Stream-based Communication.

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

2003

Continutation Semantics for Parallel Haskell Dialects.

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

Parallelism Abstractions in Eden.

Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña, Steffen Priebe, Fernando Rubio

Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2002

An Operational Semantics for the Parallel Language Eden.

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Parallel Process. Lett., 2002

2000

A distributed operational semantics for a parallel functional language.

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

1998

Implementing Eden - or: Dreams Become Reality.

Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997

DREAM: The DistRibuted Eden Abstract Machine.

Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

The Eden Coordination Model for Distributed Memory Systems.

Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena

Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97), 1997

High-level Parallel and Concurrent Programming in Eden.

Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Eden - The Paradise of Functional Concurrent Programming.

Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1994

Towards a Functional Process Calculus.

K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1992

Operational Semantics for Timed Observations.

Yolanda Ortega-Mallén

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

A Complete Proof System for Timed Observations.

Yolanda Ortega-Mallén, David de Frutos-Escrig

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990

Timed Observations: A Semantic Model for Real-Time Concurrency.

Yolanda Ortega-Mallén, David de Frutos-Escrig

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Graphical Composition Theorems for Parallel and Hiding Operators.

Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén

Proceedings of the Formal Description Techniques, 1990