Formal Semantics for Parallel Functional Languages

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

We are developing formal semantics for parallel functional languages. Besides, we prove some properties to establish the equivalence among them. In general, we consider the type of parallelism introduced by the parallel functional language Eden, which is an extension of the standard lazy functional language Haskell.

Publications

L. Sánchez-Gil, M. Hidalgo-Herrero and Y. Ortega Mallén. A locally nameless representation for a natural semantics for lazy evaluation. Technical Report 01/12, Dpto. Sistemas Informáticos y Computación. Universidad Complutense de Madrid. 2012.
L. Sánchez-Gil. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos. Master Thesis. Dpto. Sistemas Informáticos y Computación. Universidad Complutense de Madrid. 2008. (In Spanish).