Correctness of Non-determinism Analyses in a Parallel-Functional Language

Clara Segura, Ricardo Pena. Correctness of Non-determinism Analyses in a Parallel-Functional Language. In Philip W. Trinder, Greg Michaelson, Ricardo Pena, editors, Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Volume 3145 of Lecture Notes in Computer Science, pages 69-85, Springer, 2003. [doi]

Authors

Clara Segura

This author has not been identified. Look up 'Clara Segura' in Google

Ricardo Pena

This author has not been identified. It may be one of the following persons: Look up 'Ricardo Pena' in Google