Correctness of non-determinism analyses in a parallel-functional language

DOI10.1007/978-3-540-27861-0_5MaRDI QIDQ5466589zbMATH OpenOpenAlexFDO

Authors Clara Segura, Ricardo Peña

Publication date 24 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b102274

Mathematics Subject Classification ID

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

Recommendations

• Non-determinism analyses in a parallel-functional language
• Non-determinism analysis in a parallel-functional language
• Nondeterminism with Referential Transparency in Functional Programming Languages
• Safe nondeterminism in a deterministic-by-default parallel language
• Correctness of recursive parallel nondeterministic flow programs

Cited in

(8)

• Non-determinism analysis in a parallel-functional language
• Semantic Correctness for a Parallel Object-Oriented Language
• Functional behavior of nondeterministic and concurrent programs
• Non-determinism analyses in a parallel-functional language
• A polynomial-cost non-determinism analysis
• scientific article; zbMATH DE number 911851 (Why is no real title available?)
• Correctness of programs with Pascal-like procedures without global variables
• Correctness of static flow analysis in continuation semantics

Describes a project that uses

Uses Software

• Haskell
• GHC

This page was built for publication: Correctness of non-determinism analyses in a parallel-functional language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5466589)