Non-determinism analyses in a parallel-functional language

DOI10.1017/S0956796804005295zbMath1063.68025OpenAlexW2018605142MaRDI QIDQ4664063

Clara Segura, Ricardo Peña

Publication date: 5 April 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796804005295

zbMATH Keywords

denotational semanticsmergeEden

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (3)

Semantic Determinism and Functional Logic Program Properties ⋮ Implementing Dynamic-Cut in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">T</mml:mi></mml:math>OY ⋮ Using Template Haskell for Abstract Interpretation

This page was built for publication: Non-determinism analyses in a parallel-functional language