An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
From MaRDI portal
Publication:478379
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
68N18: Functional programming and lambda calculus
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software