YOLANDA
ORTEGA MALLÉN
Investigadora hasta 2022
Publicaciones en las que colabora con YOLANDA ORTEGA MALLÉN (13)
2015
-
The role of indirections in lazy natural semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
An operational semantics for distributed lazy evaluation
Trends in Functional Programming (Intellect Ltd.), pp. 65-80
2012
-
A locally nameless representation for a natural semantics for lazy evaluation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
Relating function spaces to resourced function spaces
Proceedings of the ACM Symposium on Applied Computing
2010
-
An operational semantics for distributed lazy evaluation
Trends in Functional Programming 10 (Intellect Ltd.), pp. 65-80
2009
-
To be or not to be ...lazy (In a Parallel Context)
Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 21-39
2007
-
Comparing alternative evaluation strategies for stream-based parallel functional languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 10 SPEC. ISS., pp. 119-137
2006
-
Analyzing the influence of mixed evaluation on the performance of Eden skeletons
Parallel Computing, Vol. 32, Núm. 7-8, pp. 523-538
-
Using Maude and its strategies for defining a framework for analyzing Eden semantics
Electronic Notes in Theoretical Computer Science
2005
-
Dealing denotationally with stream-based communication
Electronic Notes in Theoretical Computer Science
2003
-
Continuation semantics for parallel Haskell dialects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2895, pp. 303-321
2002
-
An operational semantics for the parallel language Eden
Parallel Processing Letters