Yolanda Ortega-Mallén

发表

Eden - The Paradise of Functional Concurrent Programming

Rita Loogen, Silvia Breitinger, Yolanda Ortega-Mallén, 1996, Euro-Par, Vol. I.

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation

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

Operational Semantics for Timed Observations

Yolanda Ortega-Mallén, 1992, FTRTFT.

DREAM: The DistRibuted Eden Abstract Machine

Rita Loogen, Silvia Breitinger, Yolanda Ortega-Mallén, 1997, Implementation of Functional Languages.

Relating function spaces to resourced function spaces

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

Towards Improving Skeletons in Eden

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

Dealing Denotationally With Stream-based Communication

Yolanda Ortega-Mallén, Mercedes Hidalgo-Herrero, 2005, Electron. Notes Theor. Comput. Sci..

The Role of Indirections in Lazy Natural Semantics

Yolanda Ortega-Mallén, Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, 2014, Ershov Memorial Conference.

Towards a Functional Process Calculus

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

Continutation Semantics for Parallel Haskell Dialects

Yolanda Ortega-Mallén, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, 2003, APLAS.

The Eden coordination model for distributed memory systems

Rita Loogen, Silvia Breitinger, Yolanda Ortega-Mallén, 1997, Proceedings Second International Workshop on High-Level Parallel Programming Models and Supportive Environments.

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

Alberto Verdejo, Yolanda Ortega-Mallén, Mercedes Hidalgo-Herrero, 2007, WRS@FLoC.

Implementing Eden - or: Dreams Become Reality

Yolanda Ortega-Mallén, Ricardo Peña-Marí, Ulrike Klusik, 1998, IFL.

Rule Formats for Nominal Process Calculi pdf

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2017, CONCUR.

Functional concurrent programming in eden

Rita Loogen, Silvia Breitinger, Yolanda Ortega-Mallén, 1997 .

A distributed operational semantics for a parallel functional language

Yolanda Ortega-Mallén, Mercedes Hidalgo-Herrero, 2000, Scottish Functional Programming Workshop.

A Complete Proof System for Timed Observations

David de Frutos-Escrig, Yolanda Ortega-Mallén, 1991, TAPSOFT, Vol.1.

High-level Parallel and Concurrent Programming in Eden

Rita Loogen, Silvia Breitinger, Yolanda Ortega-Mallén, 1997, APPIA-GULP-PRODE.

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

Yolanda Ortega-Mallén, Mercedes Hidalgo-Herrero, Fernando Rubio, 2006, Parallel Comput..

An Operational Semantics for the Parallel Language Eden

Yolanda Ortega-Mallén, Mercedes Hidalgo-Herrero, 2002, Parallel Process. Lett..

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages

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

Parallelism Abstractions in Eden

Rita Loogen, Steffen Priebe, Fernando Rubio, 2003, Patterns and Skeletons for Parallel and Distributed Computing.

Timed Observations: A Semantic Model for Real-Time Concurrency

David de Frutos-Escrig, Yolanda Ortega-Mallén, 1990, Programming Concepts and Methods.

Under Consideration for Publication in J. Functional Programming Parallel Functional Programming in Eden

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

An Operational Semantics for Distributed Lazy Evaluation

Yolanda Ortega-Mallén, Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, 2009, Trends in Functional Programming.

Graphical Composition Theorems for Parallel and Hiding Operators

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

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

Yolanda Ortega-Mallén, Mercedes Hidalgo-Herrero, 2009, Electron. Notes Theor. Comput. Sci..

Eden: language definition and operational semantics

Rita Loogen, Ricardo Peña, Silvia Breitinger, 1996 .