An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic

DOI10.1016/j.jlamp.2014.07.002zbMath1304.68130MaRDI QIDQ478379

Anh-Dung Phan, Michael R. Hansen

Publication date: 3 December 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.07.002

zbMATH Keywords

parallelism; functional programming; multicore; decision procedure; Presburger arithmetic

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• ManySAT
• Cilk
• F#